Fully Expanded Tree for Property Analysis of One-Place-Unbounded Petri Nets

Authors

Zhijun Ding, Key Laboratory of Embedded System and Service Computing, Ministry of Education
Meiqin Pan, Shanghai International Studies University
Ru Yang, Key Laboratory of Embedded System and Service Computing, Ministry of Education
Changjun Jiang, Key Laboratory of Embedded System and Service Computing, Ministry of Education
Mengchu Zhou, Macau University of Science and Technology

Document Type

Article

Publication Date

9-1-2017

Abstract

This paper proposes a fully expanded tree (FET) approach for one-place-unbounded Petri nets. The FET of a one-place-unbounded Petri net consists of all and only reachable markings from its initial marking. Its applications to liveness and deadlock analysis for such Petri nets are developed. The proposed method has a larger application scope than all the existing methods for them. Several examples are provided to show its superiority over the state-of-the-art methods.

Identifier

85029521345 (Scopus)

Publication Title

IEEE Transactions on Systems Man and Cybernetics Systems

External Full Text Location

https://doi.org/10.1109/TSMC.2016.2523944

e-ISSN

21682232

ISSN

21682216

First Page

2574

Last Page

2585

Issue

9

Volume

47

Grant

61173042

Fund Ref

National Natural Science Foundation of China

Recommended Citation

Ding, Zhijun; Pan, Meiqin; Yang, Ru; Jiang, Changjun; and Zhou, Mengchu, "Fully Expanded Tree for Property Analysis of One-Place-Unbounded Petri Nets" (2017). Faculty Publications. 9346.
https://digitalcommons.njit.edu/fac_pubs/9346