Abstract Node Method for Integration of Object Oriented Design with Colored Petri Nets

A Minimum Cycle Time Analysis for Hierarchical Petri

“…Bauskar and Mikolajczak [2] presented a method that transfers object oriented designs to hierarchical Petri nets so that the class inheritance and dynamics of the objects in an object oriented design can be analyzed through Petri net investigation.…”

Modeling and Analysis of Change Management in Dynamic Business Process

“…UML is a language for specifying, visualizing, constructing and documenting the artifacts of OO software systems, as well as for business modeling. UML uses OO methods for modeling [20] [21]. It is considered the standard OO modeling language.…”

“…It supports Inheritance, Polymorphism, and Dynamic Binding. It is useful to designing software that is comprehensible, maintainable, and flexible [21].One of the main advantages of OO method is the effectiveness of the process to identify and refine objects [24]. OO is based on objects that represent real-world entities.…”

“…It is useful in describing information systems that are characterized as being concurrent, asynchronous, distributed, parallel, nondeterministic and/or stochastic. The graphical representation, simplicity and executable nature of PNs model make PNs suitable for simulation, rapid prototyping and verification of systems [21]. Most graph based languages have their root in Petri Net theory, which was applied in 183 workflow modeling for the first time in 1977 [6].…”

“…This means that processes are considered as objects that can be manipulated by other processes construct more flexible workflow management systems that can be modified during the execution. Integration of OO Design with CPNs approach was developed by [21] [38] to check the correctness of the designed system. The approach integrates OO techniques at the design level and use of CPNs at the verification and validation level.…”