DocumentCode :
547314
Title :
A new liveness characterization for S3PGR2
Author :
Chao, Daniel Y. ; Chen, Jiun-Ting
Author_Institution :
Dept. of Manage. Inf. Syst., Nat. Chengchi Univ., Taipei, Taiwan
Volume :
3
fYear :
2011
fDate :
10-12 June 2011
Firstpage :
137
Lastpage :
141
Abstract :
It has been a hot research topic to find the sufficient and necessary condition of liveness for S3PGR2 (systems of simple sequential processes with general resources requirement) modeled by general Petri nets (GPN). This paper proposes a solution.
Keywords :
Petri nets; concurrency control; resource allocation; S3PGR2; general Petri nets; systems of simple sequential processes with general resources requirement); Control theory; Firing; Flexible manufacturing systems; Nickel; Petri nets; Sufficient conditions; System recovery; Petri nets; deadlocks; siphons; synchronized choice nets; weakly live;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Computer Science and Automation Engineering (CSAE), 2011 IEEE International Conference on
Conference_Location :
Shanghai
Print_ISBN :
978-1-4244-8727-1
Type :
conf
DOI :
10.1109/CSAE.2011.5952651
Filename :
5952651
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=547314
بازگشت