标题: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 更多
通讯作者:Zeng, Qingtian
来源:Jisuanji Jicheng Zhizao Xitong/Computer Integrated Manufacturing Systems, CIMS
出版年:2016
卷:22
期:2
页码:465-475
DOI:10.13196/j.cims.2016.02.019
摘要: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.
收录类别:EI
资源类型:期刊论文
TOP