A Modified Reachability Tree Approach to Analysis of Unbounded Petri Nets

Document Type

Article

Publication Date

2-1-2004

Abstract

Reachability trees, especially the corresponding Karp-Miller's finite reachability trees generated for Petri nets are fundamental for systematically investigating many characteristics such as boundedness, liveness, and performance of systems modeled by Petri nets. However, too much information is lost in a FRT to render it useful for many applications. In this paper, modified reachability trees (MRT) of Petri nets are introduced that extend the capability of Karp-Miller's FRTs in solving the liveness, deadlock, and reachability problems, and in defining or determining possible firing sequences. The finiteness of MRT is proved and several examples are presented to illustrate the advantages of MRT over FRT.

Identifier

0742290028 (Scopus)

Publication Title

IEEE Transactions on Systems Man and Cybernetics Part B Cybernetics

External Full Text Location

https://doi.org/10.1109/TSMCB.2003.811516

ISSN

10834419

First Page

303

Last Page

308

Issue

1

Volume

34

Fund Ref

National Natural Science Foundation of China

This document is currently not available here.

Share

COinS