Complex Reachability Trees and Their Application to Deadlock Detection for Unbounded Petri Nets

Document Type

Article

Publication Date

6-1-2019

Abstract

Deadlock detection plays an important role in the analysis of system behavior. Several kinds of reachability trees have been proposed to analyze Petri net properties including deadlock freedom. However, existing reachability trees can only solve the deadlock detection problem of bounded or some special kinds of unbounded Petri nets. To increase the applicable scope of reachability trees in the deadlock detection field, this paper presents a new type of reachability trees called complex reachability tree (CRT). Different from others, transition sequences corresponding to root-started paths of cyclic CRTs are always firable from the initial marking. The proposed trees can completely solve the deadlock detection problem of ω -gone node-free Petri nets, but cannot guarantee to detect all the deadlocks for the other kinds of unbounded Petri nets. Their construction method and applications are presented.

Identifier

85018887175 (Scopus)

Publication Title

IEEE Transactions on Systems Man and Cybernetics Systems

External Full Text Location

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

e-ISSN

21682232

ISSN

21682216

First Page

1164

Last Page

1174

Issue

6

Volume

49

This document is currently not available here.

Share

COinS