DocumentCode
38730
Title
A New Modified Reachability Tree Approach and Its Applications to Unbounded Petri Nets
Author
ShouGuang Wang ; Mengchu Zhou ; Zhiwu Li ; ChengYing Wang
Author_Institution
Sch. of Inf. & Electron. Eng., Zhejiang Gongshang Univ., Hangzhou, China
Volume
43
Issue
4
fYear
2013
fDate
Jul-13
Firstpage
932
Lastpage
940
Abstract
This paper proposes a new modified reachability tree (NMRT) approach for a class of unbounded generalized Petri nets called ω-independent nets. The NMRT of an ω-independent net consists of all and only reachable markings from its initial marking. Moreover, the applications of the NMRT to deadlock analysis for ω-independent nets are developed. The proposed method has a larger application scope than all the existing methods. Several examples are provided to show its superiority over them.
Keywords
Petri nets; reachability analysis; trees (mathematics); ω-independent net; NMRT; deadlock analysis; new modified reachability tree; reachable marking; unbounded generalized Petri net; Cybernetics; Educational institutions; Laboratories; Petri nets; Subspace constraints; System recovery; Vectors; Deadlock; Petri net; reachability tree (RT);
fLanguage
English
Journal_Title
Systems, Man, and Cybernetics: Systems, IEEE Transactions on
Publisher
ieee
ISSN
2168-2216
Type
jour
DOI
10.1109/TSMCA.2012.2226878
Filename
6425512
Link To Document