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

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

Research output: Contribution to journalArticlepeer-review

36 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 languageEnglish (US)
Pages (from-to)932-940
Number of pages9
JournalIEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans
Volume43
Issue number4
DOIs
StatePublished - Nov 11 2013

All Science Journal Classification (ASJC) codes

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

Keywords

  • Deadlock
  • Petri net
  • Reachability tree (RT)

Fingerprint

Dive into the research topics of 'A new modified reachability tree approach and its applications to unbounded petri nets'. Together they form a unique fingerprint.

Cite this