In: Formal Methods in System Design, Volume 15. Issue 2, pages 123-167. Kluwer Academic Publishers, September 1999.
Abstract: The purpose of this paper is to illustrate and compare some of the existing synthesis methods for discrete event controllers. We summarize four of the well-known methodologies in the context of plant model, specification model, and controller synthesis procedure. Then, by applying the models to two working examples, we explore and compare the descriptive power of the methods and their capabilities for handling various types of specifications.
Keywords: Petri Net; automata; controller synthesis; discrete event systems; net condition event systems; temporal logic.
Back to the Petri Nets Bibliography