DocumentCode
2587205
Title
Enumeration of reachable and other states of simple version of Systems of Simple Sequential Processes with Resources (S3PR)
Author
Chao, Daniel Yuh ; Chen, Hung-Yi ; Yu, Fang
Author_Institution
Dept. Manage. Inf. Syst., Nat. Chengchi Univ., Taipei, Taiwan
fYear
2012
fDate
28-31 May 2012
Firstpage
1369
Lastpage
1374
Abstract
This paper reports the very first endeavor toward the computation of the number of reachable states for simple version of Systems of Simple Sequential Processes with Resources (S3PR) without the construction of reachability graph that often makes the analysis intractable. This paper also estimates the number of non-reachable, forbidden, and deadlock states.
Keywords
Petri nets; flexible manufacturing systems; reachability analysis; deadlock states; forbidden states; nonreachable states; other states; reachability graph; simple sequential processes with resources; simple version; Analytical models; Firing; Monitoring; Reachability analysis; System recovery; Vectors; Yttrium; Petri nets; control systems; discrete event systems; flexible manufacturing systems;
fLanguage
English
Publisher
ieee
Conference_Titel
Industrial Electronics (ISIE), 2012 IEEE International Symposium on
Conference_Location
Hangzhou
ISSN
2163-5137
Print_ISBN
978-1-4673-0159-6
Electronic_ISBN
2163-5137
Type
conf
DOI
10.1109/ISIE.2012.6237290
Filename
6237290
Link To Document