Modeling dynamic systems with high-level Petri nets with object-orientation

摘要

A weakness of using Petri nets for dynamic systems modelling refers to the difference between the dynamic evolution of systems, and the fixed structure of Petri nets. This is one of the main reasons for the emergence of various proposals aiming to merging Petri net formalisms and the object-oriented paradigm by preserving the advantages of both frameworks. Unfortunately most object-oriented Petri net proposals do not address all issues of these frameworks: Petri nets and object-orientation. In this paper we purpose the formalism of High-Level Petri Nets with Object-Orientation (HLPNOO), whose aim is twofold: (a) to develop a formalism based on the ISO standard of the High-Level Petri Nets (HLPN), which represent an unification of the main high-level Petri net formalisms, and (b) to integrate in this formalism the main concepts of Object-Oriented paradigm, including polymorphism, inheritance and subtyping, which are appropriate for modeling dynamic systems. An example of modelling a dynamic system by using the HLPNOO formalism is presented.