A New Modified Reachability Tree Approach and Its Applications to Unbounded Petri Nets

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 an...

Full description

Saved in:
Bibliographic Details
Published in:IEEE transactions on systems, man, and cybernetics. Systems man, and cybernetics. Systems, 2013-07, Vol.43 (4), p.932-940
Main Authors: Wang, ShouGuang, Zhou, MengChu, Li, ZhiWu, Wang, ChengYing
Format: Article
Language:English
Subjects:
Applied sciences
Computer science
control theory
systems
Control theory. Systems
Cybernetics
Deadlock
Educational institutions
Exact sciences and technology
Laboratories
Modelling and identification
Petri net
Petri nets
reachability tree (RT)
Subspace constraints
System recovery
Trees
Vectors
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:2168-2216
2168-2232
DOI:10.1109/TSMCA.2012.2226878