DocumentCode :
3229051
Title :
A colored Petri net-based approach to the design of controllers
Author :
Makungu, M. ; St-Denis, R. ; Barbeau, M.
Author_Institution :
Dept. de Math. et d´´Inf., Sherbrooke Univ., Que., Canada
Volume :
4
fYear :
1996
fDate :
11-13 Dec 1996
Firstpage :
4425
Abstract :
In this paper, we extend the supervisory control theory and a supervisor synthesis problem to a class of colored Petri nets. More specifically, we investigate the forbidden state control problem with full observation in which the discrete-event system is modeled as a colored Petri net with a symmetry specification. 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 its 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 allows to represent a controller in a compact form
Keywords :
Petri nets; control system synthesis; discrete event systems; graph colouring; colored Petri net-based approach; controllers design; discrete-event system; forbidden state control problem; full observation; supervisor synthesis problem; supervisory control theory; symmetry specification; Automatic control; Context modeling; Control system synthesis; Control systems; Discrete event systems; Manufacturing systems; Petri nets; Power system modeling; State-space methods; Supervisory control;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Decision and Control, 1996., Proceedings of the 35th IEEE Conference on
Conference_Location :
Kobe
ISSN :
0191-2216
Print_ISBN :
0-7803-3590-2
Type :
conf
DOI :
10.1109/CDC.1996.577489
Filename :
577489
Link To Document :
بازگشت