Title :
Maximally permissive controllers for controlled time Petri nets
Author :
Takae, Akiteru ; Takai, Shigemasa ; Ushio, Toshimitsu ; Kumagai, Sadatoshi ; Kodama, Shinzo
Author_Institution :
Dept. of Electron. Eng., Osaka Univ., Japan
Abstract :
Studies concurrent discrete event systems modeled by controlled time Petri nets. The authors derive a necessary and sufficient condition for the unique existence of the maximally permissive controller (MPC). Then the authors derive a closed form expression of the unique MPC if it exists
Keywords :
Petri nets; discrete event systems; concurrent discrete event systems; controlled time Petri nets; maximally permissive controllers; necessary and sufficient existence condition; unique existence; Clocks; Communication system control; Concurrent computing; Control system synthesis; Discrete event systems; Fires; Petri nets; State feedback; Sufficient conditions; Supervisory control;
Conference_Titel :
Decision and Control, 1994., Proceedings of the 33rd IEEE Conference on
Conference_Location :
Lake Buena Vista, FL
Print_ISBN :
0-7803-1968-0
DOI :
10.1109/CDC.1994.411285
