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
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;
Conference_Titel :
Industrial Electronics (ISIE), 2012 IEEE International Symposium on
Conference_Location :
Hangzhou
Print_ISBN :
978-1-4673-0159-6
Electronic_ISBN :
2163-5137
DOI :
10.1109/ISIE.2012.6237290
