DocumentCode :
2165499
Title :
Analysis for one-place unbounded Petri nets based on modified reachability trees
Author :
Wang, Yu ; Ding, Zhijun
Author_Institution :
Key Lab. of Embedded Syst. & Service Comput., Tongji Univ., Shanghai, China
fYear :
2012
fDate :
11-14 April 2012
Firstpage :
107
Lastpage :
111
Abstract :
Analysis approaches of reachability decision is fundamental to Petri nets theory; however, the relevant research work in the past cannot always guarantee the correctness of analysis conclusions. This paper firstly reveals the root cause of wrong conclusions, which are drawn in analysis for deadlock of Petri nets based on modified reachability trees (MRT), and then proposes the rectified calculation of the next-state function and some corresponding definitions, which guarantee MRT´s usefulness and correctness in analyzing reachability and deadlock of one-place unbounded Petri nets. Finally, a necessary and sufficient condition of MRT´s reachability and the theoretical proof are presented. Examples are given to illustrate the method.
Keywords :
Petri nets; reachability analysis; trees (mathematics); Petri nets theory; modified reachability trees; next-state function; one-place unbounded Petri nets; reachability decision; Analytical models; Educational institutions; Firing; Laboratories; Mathematical model; Petri nets; System recovery; Deadlock; Modified reachability trees; Petri nets; Reachability;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Networking, Sensing and Control (ICNSC), 2012 9th IEEE International Conference on
Conference_Location :
Beijing
Print_ISBN :
978-1-4673-0388-0
Type :
conf
DOI :
10.1109/ICNSC.2012.6204900
Filename :
6204900
Link To Document :
بازگشت