Title :
Supervisor design for a class of generalized Petri net with uncontrollable transitions
Author :
Wu, Weimin ; Su, Hongye ; Chu, Jmn ; Zhai, Haifeng
Author_Institution :
Inst. of Adv. Process Control, Zhejiang Univ., Hangzhou, China
Abstract :
The previous work of Boel et al. (1996) on the forbidden state problem for the class of discrete event systems modeled by controlled state graph is extended in this paper. The class of Petri nets we consider is a generalized net in which the weight of the arcs may exceed 1. Furthermore, the limit to the output places number of a transition in the net is removed and consequently the Petri net is capable of firing more than one process simultaneously. Based on the calculation of weakly forbidden conditions, the maximally permissive supervisor is obtained
Keywords :
Petri nets; control system synthesis; discrete event systems; controlled state graph; discrete event systems; forbidden state problem; generalized Petri net; maximally permissive supervisor; supervisor design; uncontrollable transitions; weakly forbidden conditions; Algebra; Automata; Automatic control; Control system synthesis; Discrete event systems; Industrial control; Laboratories; Petri nets; Process control; Vectors;
Conference_Titel :
Systems, Man, and Cybernetics, 2001 IEEE International Conference on
Conference_Location :
Tucson, AZ
Print_ISBN :
0-7803-7087-2
DOI :
10.1109/ICSMC.2001.973509
