A new modified reachability tree approach and its applications to unbounded petri nets

Shouguang Wang; Mengchu Zhou; Zhiwu Li; Cheng Ying Wang

doi:10.1109/TSMCA.2012.2226878

A new modified reachability tree approach and its applications to unbounded petri nets

Shouguang Wang, Mengchu Zhou, Zhiwu Li, Cheng Ying Wang

Electrical and Computer Engineering

Research output: Contribution to journal › Article › peer-review

46 Scopus citations

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.

Original language	English (US)
Pages (from-to)	932-940
Number of pages	9
Journal	IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans
Volume	43
Issue number	4
DOIs	https://doi.org/10.1109/TSMCA.2012.2226878
State	Published - 2013

All Science Journal Classification (ASJC) codes

Software
Information Systems
Human-Computer Interaction
Electrical and Electronic Engineering
Control and Systems Engineering
Computer Science Applications

Keywords

Deadlock
Petri net
Reachability tree (RT)

Access to Document

10.1109/TSMCA.2012.2226878

Cite this

@article{4e21234546d6483c9574f6c705f5810b,

title = "A new modified reachability tree approach and its applications to unbounded petri nets",

abstract = "This paper proposes a new modified reachability tree (NMRT) approach for a class of unbounded generalized Petri nets called {\`u}-independent nets. The NMRT of an {\`u}-independent net consists of all and only reachable markings from its initial marking. Moreover, the applications of the NMRT to deadlock analysis for {\`u}-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 = "Deadlock, Petri net, Reachability tree (RT)",

author = "Shouguang Wang and Mengchu Zhou and Zhiwu Li and Wang, {Cheng Ying}",

year = "2013",

doi = "10.1109/TSMCA.2012.2226878",

language = "English (US)",

volume = "43",

pages = "932--940",

journal = "IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans",

issn = "1083-4427",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

number = "4",

}

TY - JOUR

T1 - A new modified reachability tree approach and its applications to unbounded petri nets

AU - Wang, Shouguang

AU - Zhou, Mengchu

AU - Li, Zhiwu

AU - Wang, Cheng Ying

PY - 2013

Y1 - 2013

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

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

KW - Deadlock

KW - Petri net

KW - Reachability tree (RT)

UR - http://www.scopus.com/inward/record.url?scp=84887030537&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84887030537&partnerID=8YFLogxK

U2 - 10.1109/TSMCA.2012.2226878

DO - 10.1109/TSMCA.2012.2226878

M3 - Article

AN - SCOPUS:84887030537

SN - 1083-4427

VL - 43

SP - 932

EP - 940

JO - IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans

JF - IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans

IS - 4

ER -

A new modified reachability tree approach and its applications to unbounded petri nets

Abstract

All Science Journal Classification (ASJC) codes

Keywords

Access to Document

Other files and links

Fingerprint

Cite this