摘要:Petri nets in object-oriented modeling, based on the objects introduced a special internal changes - the control changes, the introduction of objects in the controller, a control structure based on object-oriented Petri nets (CS-OOPN) model, and described the CS-OOPN modeling steps of the described of CS-OOPN modeling. The model overcomes the traditional object-oriented Petri nets modeling of flexible processes and systems lack the flexibility of the shortcomings can be more intuitive, flexible to describe the work flow. Finally, using this model for a group management system and for modeling equipment procurement, and approval departments CS-OOPN model as an example, find its associated matrix, tree coverage and P-invariant, the correlation analysis to prove that building the model has good performance and to meet the system requirements change and restructuring.
关键词:Control change;Controller;Object-Oriented Petri nets;Equipment procurement system