Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
G. Agha, S. Frølund, W.Y. Kim, R. Panwar, A. Patterson, and D. Sturman Abstraction and Modularity Mechanisms for Concurrent Computing Research Directions in Concurrent Object-Oriented Programming, G. Agha, P. Wegner, and A. Yonezawa (eds.), pp 3–21, MIT Press (1993).
G.A. Agha Actors: A Model of Concurrent Computation in Distributed Systems The MIT Press series in artificial intelligence, MIT Press (1986).
M. Baldassari and G. Bruno An Environment for Object-Oriented Conceptual Programming Based on PROT Nets Advances in Petri Nets 1988, G. Rozenberg (ed.), Lecture Notes in Computer Science 340, pp 1–19, Springer Verlag (1988).
E. Battiston, A. Chizzoni, and F. de Cindio Inheritance and Concurrency in CLOWN Proceedings of Workshop on Object-Oriented Programming and Models of Concurrency, Torino, Italy (1995).
E. Battiston, F. de Cindio, and G. Mauri OBJSA Nets: A Class of High-level Nets having Objects as Domains Advances in Petri Nets 1988, G. Rozenberg (ed.), Lecture Notes in Computer Science 340, pp 20–43, Springer-Verlag (1988).
M.Y. Ben-Gershon and S.J. Goldsack Using inheritance to build extendable synchronisation policies for concurrent and distributed systems Proceedings of TOOLS Pacific 1995, pp 109–122, Melbourne, Australia, Prentice-Hall (1995).
G. Booch and J. Rumbaugh Unified Method for Object-Oriented Development Version 0.8, Rational Software Corporation (1995).
D. Buchs and N. Guelfi CO-OPN: A Concurrent Object Oriented Petri Net Approach Proceedings of 12th International Conference on the Application and Theory of Petri Nets, Gjern, Denmark (1991).
L. Cherkasova, V. Kotov, and T. Rokicki On Net Modelling of Industrial Size Concurrent Systems Proceedings of 15th International Conference on the Application and Theory of Petri Nets-Case Studies, Zaragoza (1994).
S. Christensen and L. Petrucci Towards a Modular Analysis of Coloured Petri Nets Application and Theory of Petri Nets, K. Jensen (ed.), Lecture Notes in Computer Science 616, pp 113–133, Springer-Verlag (1992).
P.A. Fishwick Computer Simulation: Growth Through Extension Proceedings of Modelling and Simulation (European Simulation Multiconference), pp 3–20, Barcelona, Society for Computer Simulation (1994).
K. Jensen Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Volume 1: Basic Concepts EATCS Monographs in Computer Science, Vol. 26, Springer-Verlag (1992).
C.D. Keen and C.A. Lakos Information Systems Modelling using LOOPN++, an Object Petri Net Scheme Proceedings of 4th International Working Conference on Dynamic Modelling and Information Systems, pp 31–52, Noordwijkerhout, the Netherlands, Delft University Press (1994).
K. Kurbel and T. Schnieder Integration Issues of Information Engineering Based I-CASE Tools Proceedings of 4th International Conference on Information Systems Development, pp 431–441, Bled, Slovenia, Moderna Organizacija, Kranj (1994).
C. Lakos and S. Christensen A General Systematic Approach to Arc Extensions for Coloured Petri Nets Proceedings of 15th International Conference on the Application and Theory of Petri Nets, Lecture Notes in Computer Science 815, pp 338–357, Zaragoza, Springer-Verlag (1994).
C.A. Lakos Object Petri Nets. Definition and Relationship to Coloured Nets Technical Report TR94-3, Computer Science Department, University of Tasmania (1994).
C.A. Lakos From Coloured Petri Nets to Object Petri Nets Proceedings of 16th International Conference on the Application and Theory of Petri Nets, Lecture Notes in Computer Science 935, pp 278–297, Torino, Italy, Springer-Verlag (1995).
C.A. Lakos Pragmatic Inheritance Issues for Object Petri Nets Proceedings of TOOLS Pacific 1995, pp 309–321, Melbourne, Australia, Prentice-Hall (1995).
C.A. Lakos The Consistent Use of Names and Polymorphism in the Definition of Object Petri Nets Proceedings of 17th International Conference on the Application and Theory of Petri Nets, Lecture Notes in Computer Science 1091, pp 380–399, Osaka, Japan, Springer-Verlag (1996).
C.A. Lakos The LOOPN++ User Manual Technical Report R96-1, Department of Computer Science, University of Tasmania (1996).
C.A. Lakos Towards a Reflective Implementation of Object Petri Nets Proceedings of TOOLS Pacific 1996, pp 129–140, Melbourne, Australia, Monash Printing Services (1996).
C.A. Lakos On the Abstraction of Coloured Petri Nets Proceedings of 18th International Conference on the Application and Theory of Petri Nets, Lecture Notes in Computer Science 1248, pp 42–61, Toulouse, France, Springer-Verlag (1997).
C.A. Lakos and C.D. Keen Modelling a Door Controller Protocol in LOOPN Proceedings of 10th European Conference on the Technology of Objectoriented Languages and Systems, Versailles, Prentice-Hall (1993).
S. Matsuoka and A. Yonezawa Analysis of Inheritance Anomaly in Object-Oriented Concurrent Programming Languages Research Directions in Concurrent Object-Oriented Programming, G. Agha, P. Wegner, and A. Yonezawa (eds.), pp 107–150, MIT Press (1993).
S.J. Mellor and S. Shlaer A deeper look. at execution and translation Journal of Object-Oriented Programming, 7, 3, pp 24–26 (1994).
B. Meyer Object-Oriented Software Construction Prentice Hall (1988).
O. Nierstrasz Composing Active Objects Research Directions in Concurrent Object-Oriented Programming, G. Agha, P. Wegner, and A. Yonezawa (eds.), pp 151–171, MIT Press (1993).
G. Philipson CASE technology’s mid-life crisis Informatics, pp 34–36 (1993).
W. Reisig Petri nets: An Introduction EATCS Monographs on Theoretical Computer Science, Vol. 4, Springer-Verlag (1985).
J. Rumbaugh and et al Object-oriented modeling and design Prentice-Hall (1991).
S. Shlaer and S.J. Mellor Object Lifecycles. Modeling the World in States Yourdon Press, Prentice Hall (1992).
C. Sibertin-Blanc Cooperative Nets Proceedings of 15th International Conference on the Application and Theory of Petri Nets, Lecture Notes in Computer Science 815, pp 471–490, Zaragoza, Spain, Springer-Verlag (1994).
P.A.C. Verkoulen Integrated Information Systems Design: An Approach Based on Object-Oriented Concepts and Petri Nets PhD Thesis, Technical University of Eindhoven, the Netherlands (1993).
J. M. Vlissides Generalized Graphical Object Editing Technical Report CSL-TR-90-427, Stanford University (1990).
K. Waldén and J. Nerson Seamless Object-Oriented Software Architecture Prentice-Hall (1995).
P. Wegner Dimensions of Object-Based Language Design Proceedings of OOPSLA 87, pp 168–182, Orlando, Florida, ACM (1987).
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Lakos, C. (2001). Object Oriented Modelling with Object Petri Nets. In: Agha, G.A., De Cindio, F., Rozenberg, G. (eds) Concurrent Object-Oriented Programming and Petri Nets. Lecture Notes in Computer Science, vol 2001. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45397-0_1
Download citation
DOI: https://doi.org/10.1007/3-540-45397-0_1
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-41942-6
Online ISBN: 978-3-540-45397-0
eBook Packages: Springer Book Archive