DocumentCode
2571988
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
fYear
1994
fDate
10-12 Oct 1994
Firstpage
169
Lastpage
176
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/CIMAT.1994.389077
Filename
389077
Link To Document