Title :
Dynamic analysis of supervisory controllers: a timed Petri net approach
Author :
Alpan, Giilgiin ; Jafari, Mohsen A.
Author_Institution :
Dept. of Ind. Eng., Rutgers Univ., Piscataway, NJ, USA
Abstract :
In this study, we consider a system with two processes (A,B) sharing a single resource. Through out the study we assume that each box consists of a single transition, and processes A and B work in a cyclic manner according to the temporal constraints. An ordinary timed Petri net is introduced, which demonstrates both conflicts and concurrency. The objective of this study is to describe the dynamics of the system when there is no conflict and focus on the natural sequence. We then analyse the situation when the conflict is introduced into the system
Keywords :
Petri nets; control system analysis; discrete time systems; dynamics; concurrency; conflicts; dynamic analysis; supervisory controllers; temporal constraints; timed Petri net; Algebra; Concurrent computing; Electrical equipment industry; Manufacturing; Minimax techniques; Nonlinear equations; Petri nets; Robots; Timing; Workstations;
Conference_Titel :
Computer Integrated Manufacturing and Automation Technology, 1994., Proceedings of the Fourth International Conference on
Conference_Location :
Troy, NY
Print_ISBN :
0-8186-6510-6
DOI :
10.1109/CIMAT.1994.389077
