Journal of Networks · 2012 · 10 citations · 2 references
Petri NetEngineeringIndustrial EngineeringObject-oriented Petri NetsObject-oriented ModelingTree CoverageSoftware EngineeringSystems EngineeringObject SystemDesignStochastic Petri NetComputer EngineeringComputer SciencePetri NetsCs-oopn ModelingSoftware DesignControl ArchitectureAutomationProcess ControlIndustrial InformaticsControl StructureObject Modeling
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.
2
Analyzing BPEL processes using Petri nets
H. M. W. Verbeek, Wil M. P. van der Aalst · 2005 · 72 citations