Object oriented modelling with object Petri nets

DOI10.1007/3-540-45397-0_1MaRDI QIDQ2761701zbMATH OpenFDO

Authors Charles A. Lakos

Publication date 7 January 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2001/20010001

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Computing methodologies and applications (68U99)

Review text

This paper informally introduces Object Petri Nets (OPNs) with a number of examples. OPNs support a thorough integration of object-oriented concepts into Petri Nets, including inheritance and the associated polymorphism and dynamic binding. They have a single class hierarchy which includes both token types and subnet types, thereby allowing multiple levels of activity in the net. The paper discusses some theoretical issues pertinent to the analysis of OPNs, and compares the provisions of OPNs with those of other Concurrent Object-Oriented Programming Languages. The paper then considers a case study of using OPNs to model a cooperative editor for hierarchical diagrams. This extended example demonstrates the applicability of OPNs to the modelling of non-trivial concurrent systems. The methodology for deriving a Petri Net model is to adapt an object-oriented design methodology: the Object Model is prepared in Rumbaugh's OMT notation; the Dynamic Model is then prepared in the form of lifecycles, following the Shlaer-Mellor methodology; and finally these models are mapped into an OPN model. This approach has the advantage of guiding the development with well-accepted methodologies, and demonstrates the generality and flexibility of the OPN formalism. For the entire collection see [Zbl 0976.68544].

Recommendations

• From coloured Petri nets to object Petri nets
• Integrated Formal Methods
• Object coloured Petri nets --- A formal technique for object oriented modelling
• Software modeling and analysis using a hierarchical object-oriented Petri net
• Object-oriented nets with algebraic specifications: the CO-OPN/2 formalism

Cited in

(20)

• M-nets: a survey
• Solving inheritance anomaly with OMNets
• Using Petri nets for specifying active objects and generative communication
• CoOperative objects: principles, use and implementation
• An object-based modular CPN approach: its application to the specification of a cooperative editing environment
• Object coloured Petri nets --- A formal technique for object oriented modelling
• A cooperative Petri net editor
• Comparing concepts of object Petri net formalisms
• scientific article; zbMATH DE number 2088654 (Why is no real title available?)
• High-level Petri nets with object-orientation - A high-level Petri net model allowing multiple inheritance and multiple polymorphism
• scientific article; zbMATH DE number 1293728 (Why is no real title available?)
• Object-oriented modelling and specification using SHE
• The consistent use of names and polymorphism in the definition of object Petri nets
• A Petri Net Based Modeling of Active Objects and Futures
• Petri Nets as Token Objects
• From coloured Petri nets to object Petri nets
• Analysis of cooperative design processes using object-based extended Petri nets
• Applications and Theory of Petri Nets 2004
• Integrated Formal Methods
• Software modeling and analysis using a hierarchical object-oriented Petri net

This page was built for publication: Object oriented modelling with object Petri nets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2761701)