Reduction rules and deadlock detecting methods in Object Oriented Petri Net models

摘要：

The paper proposes reduction rules and deadlock detection methods based on Object Oriented Petri Nets models. With the help of Object Oriented concepts and technologies, we extend the object subnet with hierarchy and reduce layers of subnets according to reduction rules in premise of keeping the properties of subnets unchanged. Deadlock checking is conducted simultaneously until all the objects are treated. A simple example is used to verify the proposed reduction rules and deadlock detection methods. It is proved that the application of reduction methods and detection methods of deadlocks reduce the number of nodes in the net, which effectively makes deadlock checking in OOPN models much simpler.

关键词： OOPN reduction deadlock

作者: LU Lei ZHANG Caiming

作者单位: School of Computer Science and Technology Shandong University Jinan,Shandong,China

会议类型: 国际会议

会议名称: The 2010 International Conference on Computer Application and System Modeling(2010计算机应用与系统建模国际会议 ICCASM 2010)

会议地点: 太原

会议语种:英文

页码: 389-394

在线出版日期: 2010-10-22（万方平台首次上网日期，不代表论文的发表时间）