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

Volume

1

fYear

1994

fDate

2-5 Oct 1994

Firstpage

1000

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/ICSMC.1994.399967

Filename

399967