×

Synthesis of controllers of processes modeled as colored Petri nets. (English) Zbl 0952.93040

Authors’ abstract: This paper presents an adaptation of a supervisory control theory and a supervisor synthesis problem to a class of colored Petri nets. More specifically, the forbidden state control problem with full observation, in which a discrete-event system is modeled as a colored Petri net with a symmetry specification, is investigated. This problem is decidable if the colored Petri net has finite color sets and bounded places. A new algorithm for deriving a controller is presented in detail with a proof of correctness. Unlike conventional algorithms that explore the entire reachable set of states, our algorithm avoids an exhaustive search of the state space by exploiting a symmetry specification. It performs particularly well when applied to large but structured processes with similar components. Furthermore, this approach leads to a representation of controllers which are smaller than those obtained with automaton-based approaches.

MSC:

93B50 Synthesis problems
93C30 Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems)
68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
93A13 Hierarchical systems
PDFBibTeX XMLCite
Full Text: DOI