An Algorithm of Recognizing Unbounded Petri Nets With Semilinear Reachability Sets and Constructing Their Reachability Trees

作者：You, Dan; Wang, Shouguang^*; Wu, Wenhui

来源：IEEE Access, 2018, 6: 43732-43742.

DOI：10.1109/ACCESS.2018.2861467

• Discrete-event systems
• Petri nets
• reachability trees
• unbounded nets

Reachability is one of the significant properties of Petri nets (PNs). For unbounded PNs, how to determine their reachability is an open issue. In this paper, we propose an algorithm that determines whether the reachability set of an unbounded PN is semilinear. Moreover, in the case that the unbounded PN has semilinear reachability set, the proposed algorithm can construct a new reachability tree (NRT) that exactly characterizes its reachability set. In addition, it can be decided based on NRT whether an unbounded PN suffers from deadlocks. The results are illustrated via examples.

• 出版日期2018
• 单位浙江工商大学