For the most recent entries see the Petri Nets Newsletter.

Synthesis of controllers of processes modeled as colored Petri nets.

Makungu, M.; Barbeau, M.; St-Denis, R.

In: Discrete Event Dynamic Systems - Theory and Applications, Vol. 9, No. 2, pages 147-169. 1999.

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.

Keywords: colored Petri nets, discrete-event systems, discrete-event systems. feedback control, supervisory control, symmetry specification.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography