Skip to main content
SpringerLink
Log in
Book cover

Concurrent Object-Oriented Programming and Petri Nets pp 1–37Cite as

Object Oriented Modelling with Object Petri Nets

  • Chapter
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2001))

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.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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).

    Google Scholar 

  2. G.A. Agha Actors: A Model of Concurrent Computation in Distributed Systems The MIT Press series in artificial intelligence, MIT Press (1986).

    Google Scholar 

  3. 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).

    Google Scholar 

  4. 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).

    Google Scholar 

  5. 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).

    Google Scholar 

  6. 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).

    Google Scholar 

  7. G. Booch and J. Rumbaugh Unified Method for Object-Oriented Development Version 0.8, Rational Software Corporation (1995).

    Google Scholar 

  8. 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).

    Google Scholar 

  9. 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).

    Google Scholar 

  10. 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).

    Google Scholar 

  11. 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).

    Google Scholar 

  12. 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).

    Google Scholar 

  13. 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).

    Google Scholar 

  14. 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).

    Google Scholar 

  15. 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).

    Google Scholar 

  16. C.A. Lakos Object Petri Nets. Definition and Relationship to Coloured Nets Technical Report TR94-3, Computer Science Department, University of Tasmania (1994).

    Google Scholar 

  17. 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).

    Google Scholar 

  18. C.A. Lakos Pragmatic Inheritance Issues for Object Petri Nets Proceedings of TOOLS Pacific 1995, pp 309–321, Melbourne, Australia, Prentice-Hall (1995).

    Google Scholar 

  19. 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).

    Google Scholar 

  20. C.A. Lakos The LOOPN++ User Manual Technical Report R96-1, Department of Computer Science, University of Tasmania (1996).

    Google Scholar 

  21. 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).

    Google Scholar 

  22. 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).

    Google Scholar 

  23. 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).

    Google Scholar 

  24. 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).

    Google Scholar 

  25. S.J. Mellor and S. Shlaer A deeper look. at execution and translation Journal of Object-Oriented Programming, 7, 3, pp 24–26 (1994).

    Google Scholar 

  26. B. Meyer Object-Oriented Software Construction Prentice Hall (1988).

    Google Scholar 

  27. 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).

    Google Scholar 

  28. G. Philipson CASE technology’s mid-life crisis Informatics, pp 34–36 (1993).

    Google Scholar 

  29. W. Reisig Petri nets: An Introduction EATCS Monographs on Theoretical Computer Science, Vol. 4, Springer-Verlag (1985).

    Google Scholar 

  30. J. Rumbaugh and et al Object-oriented modeling and design Prentice-Hall (1991).

    Google Scholar 

  31. S. Shlaer and S.J. Mellor Object Lifecycles. Modeling the World in States Yourdon Press, Prentice Hall (1992).

    Google Scholar 

  32. 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).

    Google Scholar 

  33. 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).

    Google Scholar 

  34. J. M. Vlissides Generalized Graphical Object Editing Technical Report CSL-TR-90-427, Stanford University (1990).

    Google Scholar 

  35. K. Waldén and J. Nerson Seamless Object-Oriented Software Architecture Prentice-Hall (1995).

    Google Scholar 

  36. P. Wegner Dimensions of Object-Based Language Design Proceedings of OOPSLA 87, pp 168–182, Orlando, Florida, ACM (1987).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computer Science Department, University of Adelaide, 5005, Adelaide, SA, Australia

    Charles Lakos

Authors
  1. Charles Lakos
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, University of Illinois at Urbana-Champaign, 1304 West Springfield Avenue, 61801-2987, Urbana, Illinois, USA

    Gul A. Agha

  2. Computer Science Department, University of Milan, via Comelico 39/41, 20135, Milan, Italy

    Fiorella De Cindio

  3. Leiden Institute of Advanced Computer Science (LIACS), Leiden University, Niels Bohrweg 1, 2333, Leiden, CA, The Netherlands

    Grzegorz Rozenberg

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation