标题：Decidability method of Petri net non-reachability marks and its application in deadlock detection
作者：Lu, Faming ;Zeng, Qingtian ;Duan, Hua ;Peng, Yanjun ;Bao, Yunxia
作者机构：[Lu, Faming ;Peng, Yanjun ] College of Information Science and Engineering, Shandong University of Science and Technology, Qingdao; 266590, China;[Zen 更多
来源：Jisuanji Jicheng Zhizao Xitong/Computer Integrated Manufacturing Systems, CIMS
摘要：To make deadlock detection, the method for non-reachability decidability in specific mark of Petri net was researched. The decision method for non-reachability was analyzed based on solution existence of state equations and structural characteristics such as siphons, traps, S-invariants, modular S-invariants. The relationship of those non-reachable marks which could be decided through different non-reachability analysis method was discussed. A taxonomic hierarchy of Petri net non-reachable marks was established, which provided theoretical support for non-reachability decidability. In addition, the proposed method was applied to detect the deadlock state of two Petri nets which were used to model the dining philosophers' problem and a cross-organizational collaborative business processes.
© 2016, CIMS. All right reserved.