Object-oriented Petri Nets with changeable structure (OPNs-CS): Analysis on conflicts and deadlocks

Object-oriented Petri Nets with changeable structure (OPNs-CS) is capable of modeling a system with uncertainty and subject to change. Prevention of occurrence of conflicts and deadlock in a system controlled based on an OPNs-CS model is essential to assure that the system functions. In is paper, formal descriptions of three conflicts in OPNs-CS and the algorithms for identifying the changes to conflicts are presented, which is important for automatic OPNs-CS model building and conflict resolving. In addition, given also in this paper is the algorithm for deadlock detection that is based on O-graph of the equivalent OPNs-CS (EOPNs-Cs) model rather than that of OPNs-CS model. The substitution of EOPNs-CS for OPNs-CS dramatically reduces the size and complexity of O-graph and makes the detection much simplified.