Skip to main content
SpringerLink
Log in
Book cover

International Conference on Application and Theory of Petri Nets

ICATPN 1995: Application and Theory of Petri Nets 1995 pp 278–297Cite as

From Coloured Petri Nets to Object Petri Nets

  • Full Papers
  • Conference paper
  • First Online:

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

Abstract

This paper seeks to establish within a formal framework how Coloured Petri Nets can be enhanced to produce Object Petri Nets. It does so by defining a number of intermediate Petri Net formalisms and identifying the features introduced at each step of the development. Object Petri Nets support a complete integration of object-oriented concepts into Petri Nets, including inheritance and the associated polymorphism and dynamic binding. In particular, Object Petri Nets have a single class hierarchy which includes both token types and subnet types. Interaction between subnets can be either synchronous or asynchronous depending on whether the subnet is defined as a super place or a super transition. The single class hierarchy readily supports multiple levels of activity in the net and the generation and removal of tokens has been defined so that all subcomponents are simultaneously generated or removed, thus simplifying memory management. Despite this descriptive power, Object Petri Nets can be transformed into behaviourally equivalent Coloured Petri Nets, thus providing a basis for adapting existing analysis techniques.

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

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 and F. de Cindio Class Orientation and Inheritance in Modular Algebraic Nets Proceedings of IEEE International Conference on Systems, Man and Cybernetics2, pp 717–723, Le Touquet, France, IEEE (1993).

    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. Bever, K. Geihs, L. Heuser, M. Mühlhäuser, and A. Schill Distributed Systems, OSF DCE, and Beyond Proceedings of International DCE Workshop: DCE — the OSF distributed computing environment: Client/Server Model and Beyond, Lecture notes in computer science 731, Karlsruhe, Germany, Springer-Verlag (1993).

    Google Scholar 

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

  8. D. Buchs and N. Guelfi Open Distributed Programming Using the Object Oriented Specification Formalism CO-OPN Proceedings of 5th International Conference on Putting into Practice Methods and Tools for Information System Design, Nantes (1992).

    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 N.D. Hansen Coloured Petri Nets Extended with Channels for Synchronous Communication Proceedings of 15th International Conference on the Application and Theory of Petri Nets, Lecture Notes in Computer Science 815, pp 159–178, Zaragoza, Springer-Verlag (1994).

    Google Scholar 

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

  12. S. Christensen and J. Toksvig DesignBeta V2.0.1 — BETA Code Segments in CP-nets Lecture Notes OO&CPN — nr 5, Computer Science Department, Aarhus University (1993).

    Google Scholar 

  13. J. Engelfriet, G. Leih, and G. Rozenberg Net-Based Description of Parallel Object-Based Systems, or POTs and POPs Proceedings of 1990 REX Workshop on Foundations of Object-Oriented Languages, Lecture Notes in Computer Science 489, pp 229–273, Noordwijkerhout, Netherlands, Springer-Verlag (1991).

    Google Scholar 

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

  15. K.M.v. Hee and P.A.C. Verkoulen Integration of a Data Model and High-Level Petri Nets Proceedings of 12th International Conference on the Application and Theory of Petri Nets, Lecture Notes in Computer Science, Gjern, Denmark, Springer (1991).

    Google Scholar 

  16. P. Huber, K. Jensen, and R.M. Shapiro Hierarchies of Coloured Petri Nets Proceedings of 10th International Conference on Application and Theory of Petri Nets, Lecture Notes in Computer Science 483, pp 313–341, Springer-Verlag (1990).

    Google Scholar 

  17. K. Jensen Coloured Petri Nets: A High Level Language for System Design and Analysis Advances in Petri Nets 1990, G. Rozenberg (ed.), Lecture Notes in Computer Science 483, Springer-Verlag (1990).

    Google Scholar 

  18. 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 

  19. K. Jensen, S. Christensen, P. Huber, and M. Holla Design/CPN™: A Reference Manual MetaSoftware Corporation (1992).

    Google Scholar 

  20. K. Jensen and N. Wirth Pascal User Manual and Report Second edn., Springer-Verlag (1975).

    Google Scholar 

  21. B.B. Kristensen, O.L. Madsen, B. Møller-Pedersen, and K. Nygaard Object Oriented Programming in the BETA Programming Language (1991).

    Google Scholar 

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

  23. C. Lakos and C. Keen LOOPN++: A New Language for Object-Oriented Petri Nets Proceedings of Modelling and Simulation (European Simulation Multiconference), pp 369–374, Barcelona, Society for Computer Simulation (1994).

    Google Scholar 

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

  25. C.A. Lakos and C.D. Keen Modelling Layered Protocols in LOOPN Proceedings of Fourth International Workshop on Petri Nets and Performance Models, Melbourne, Australia (1991).

    Google Scholar 

  26. C.A. Lakos and C.D. Keen Modelling a Door Controller Protocol in LOOPN Proceedings of 10th European Conference on the Technology of Object-oriented Languages and Systems Versailles, Prentice-Hall (1993).

    Google Scholar 

  27. A. Martin and B. Santanach Introducing Object-Oriented Concepts into the Framework of Coloured Petri Nets Thesis, Institut D'Informatique D'Entreprise, Evry (1993).

    Google Scholar 

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

    Google Scholar 

  29. SAA Programming Language FORTRAN Australian Standard, Vol. AS1486-1973, Standards Association of Australia (1973).

    Google Scholar 

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

    Google Scholar 

  31. C. Sibertin-Blanc A Client-Server Protocol for the Composition of Petri Nets Proceedings of 14th International Conference on the Application and Theory of Petri Nets, Lecture Notes in Computer Science 691, pp 377–396, Chicago, Springer-Verlag (1993).

    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. Swatman, P.M.C. Swatman, and R. Duke Electronic Data Interchange: A High-level Formal Specification in Object-Z Proceedings of 6th Australian Software Engineering Conference, pp 341–354, Sydney, Australia, Springer-Verlag (1991).

    Google Scholar 

  34. P.S. Thiagarajan Elementary Net Systems Advances in Petri Nets 1986, Part I, W. Brauer, W. Reisig, and G. Rozenberg (eds.), Lecture Notes in Computer Science 254, pp 26–59, Springer-Verlag (1987).

    Google Scholar 

  35. R. Valk Modelling Concurrency by Task/Flow EN Systems 3rd Workshop on Concurrency and Compositionality, 1991, E. Best, et al. (ed.), GMD-Studien 191, pp 207–215 (1991).

    Google Scholar 

  36. J. Vautherin Parallel Systems Specifications with Coloured Petri Nets and Algebraic Specifications Advances in Petri Nets 1987, G. Rozenberg (ed.), Lecture Notes in Computer Science 266, pp 293–308, Springer Verlag (1987).

    Google Scholar 

  37. 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 

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

    Google Scholar 

  39. P. Wegner Inheritance as an Incremental Modification Mechanism, or What Like Is and Isn't Like Proceedings of ECOOP '88 — European Conference on Object Oriented Programming, Lecture Notes in Computer Science 322, pp 55–77, Oslo, Norway, Springer Verlag (1988).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computer Science Department, University of Tasmania, GPO Box 252C, 7001, Hobart, TAS, Australia

    Charles Lakos

Authors
  1. Charles Lakos
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Giorgio De Michelis Michel Diaz

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Lakos, C. (1995). From Coloured Petri Nets to Object Petri Nets. In: De Michelis, G., Diaz, M. (eds) Application and Theory of Petri Nets 1995. ICATPN 1995. Lecture Notes in Computer Science, vol 935. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60029-9_45

Download citation

  • DOI: https://doi.org/10.1007/3-540-60029-9_45

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-60029-9

  • Online ISBN: 978-3-540-49408-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation