Title :
Characterizing uncontrollable reachability for colored controlled Petri nets
Author :
Ashley, Jeffrey, Jr. ; Holloway, Lawrence E.
Author_Institution :
Dept. of Electr. Eng., Kentucky Univ., Lexington, KY, USA
Abstract :
This paper establishes the groundwork for a forbidden state control synthesis method for controlled colored Petri nets (CtlCPN). In particular, this paper investigates characterizing uncontrollable reachability for CtlCPNs by developing algebraic expressions from specifications of forbidden states. These expressions represent the uncontrollable dynamics of a net model. For any net marking (state), these expressions are evaluated online to determine whether forbidden markings are reachable
Keywords :
Petri nets; control system synthesis; controllability; production control; state feedback; colored controlled Petri nets; forbidden markings; forbidden state control synthesis; net marking; net model; state feedback; uncontrollable dynamics; uncontrollable reachability; Automatic control; Color; Control system synthesis; Feedback control; Flexible manufacturing systems; Integrated circuit modeling; Manufacturing systems; Petri nets; Power system modeling; Production facilities;
Conference_Titel :
Systems, Man, and Cybernetics, 1994. Humans, Information and Technology., 1994 IEEE International Conference on
Conference_Location :
San Antonio, TX
Print_ISBN :
0-7803-2129-4
DOI :
10.1109/ICSMC.1994.399967
