Skip to main content
SpringerLink
Log in
Book cover

International Conference on Integrated Formal Methods

IFM 2004: Integrated Formal Methods pp 287–306Cite as

Object-Oriented Modelling with High-Level Modular Petri Nets

  • Conference paper

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

Abstract

In this paper, we address the problem of expressing object-oriented concepts in terms of Petri nets. This is interesting, first, as a possibility of representing concurrent system specifications written in object-oriented formalisms or languages with Petri nets, and second, as a way of allowing automated verification of the obtained Petri net using existing reachability analysis tools.

We start from an existing parallel specification language having a modular Petri net semantics and we extend it with object-oriented features inspired from Java and C++. The translation of these new extensions into the Petri net domain is given using a class of modular coloured Petri nets and includes, in particular, a treatment of inheritance and of dynamic binding.

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   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.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. Best, E., Hopkins, R.P.: B(PN)2 – a Basic Petri Net Programming Notation. In: Reeve, M., Bode, A., Wolf, G. (eds.) PARLE 1993. LNCS, vol. 694, Springer, Heidelberg (1993)

    Google Scholar 

  2. Best, E., Fraczak, W., Hopkins, R.P., Klaudel, H., Pelz, E.: M-nets2: an Algebra of High-Level Petri Nets, with an application to the semantics of concurrent programming languages. In: Acta Informatica, vol. 35, Springer, Heidelberg (1998)

    Google Scholar 

  3. Biberstein, O., Buchs, D., Guelfi, N.: Object-Oriented Nets with Algebraic Specifications: The CO-OPN/2 formalism. In: Advances in Petri Nets on Object-Orientation. LNCS, Springer, Heidelberg (2000)

    Google Scholar 

  4. Booch, G., Jacobson, I., Rumbaugh, J.: The Unified Modeling Language User Guide. Addison-Wesley, Reading (1998)

    Google Scholar 

  5. Bui Thanh, C., Klaudel, H.: Encapsulation in an Object-Oriented Notation Based on Modular Petri Nets. In: Simulation with Petri nets, ESMc 2003, Eurosis (2003)

    Google Scholar 

  6. Clown, C.: CLass Orientation With Nets. Master degree thesis, Univ. of Milan (1996)

    Google Scholar 

  7. Fleischhack, H., Grahlmann, B.: A Petri Net Semantics for B(PN)2 with Procedures. In: PDSE 1997, IEEE Computer Society, Boston (1997)

    Google Scholar 

  8. Grahlmann, B., Best, E.: PEP – More than a Petri Net Tool. In: Margaria, T., Steffen, B. (eds.) TACAS 1996. LNCS, vol. 1055, Springer, Heidelberg (1996)

    Google Scholar 

  9. Horstmann, S., Cornell, G.: Core Java 2, vol. 1 & 2. Prentice-Hall, Englewood Cliffs (1999)

    Google Scholar 

  10. Klaudel, H.: Compositional High-Level Petri Net Semantics of a Parallel Programming Language with Procedures. In: SCP 41, Elsevier, Amsterdam (2001)

    Google Scholar 

  11. Lakos, C.: Object Oriented Modelling with Object Petri Nets. In: Advances in Petri Nets. LNCS, Springer, Heidelberg (1997)

    Google Scholar 

  12. Lilius, J.: OB(PN)2: An Object Based Petri Net Programming Notation. In: Fraigniaud, P., Mignotte, A., Bougé, L., Robert, Y. (eds.) Euro-Par 1996. LNCS, vol. 1123, Springer, Heidelberg (1996)

    Google Scholar 

  13. Lilius, J.: OOB(PN)2: An Object-Oriented Petri Net Programming Notation. In: The 2nd Workshop on Object-Oriented Programming and Models of Concurrency (1996)

    Google Scholar 

  14. Lilius, J.: OB(PN)2: An Object Based Petri Net Programming Notation. In: Agha, G.A., De Cindio, F., Rozenberg, G. (eds.) APN 2001. LNCS, vol. 2001, p. 247. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  15. Lilius, J., Pelz, E.: An M-net Semantics for B(PN)2 with Procedures. In: Proc. of ISCIS 1996, Middle East Technical University, vol. I (1996)

    Google Scholar 

  16. Mäkelä, M.: MARIA: modular reachability analyser for algebraic system nets. Online manual (1999), http://www.tcs.hut.fi/maria

  17. Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)

    MATH  Google Scholar 

  18. Stroustrup, B.: The C++ Programming Language. Addison-Wesley, Reading (1986)

    MATH  Google Scholar 

  19. Design/CPN Reference Manual for X-Windows. Online manual (1993), http://www.daimi.aau.dk/designCPN/

Download references

Author information

Authors and Affiliations

  1. LACL, Université Paris 12, 61, avenue du général de Gaulle, 94010, Créteil, France

    Cécile Bui Thanh

  2. LaMI, Université Evry-Val d’Essonne, 523, Place des Terrasses, 91000, Evry, France

    Hanna Klaudel

Authors
  1. Cécile Bui Thanh
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Hanna Klaudel
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Computing Laboratory, University of Kent, CT2 7NF, Canterbury, Kent, UK

    Eerke A. Boiten

  2. Department of Computing, University of Sheffield, S1 4DP, Sheffield, UK

    John Derrick

  3. School of Information Technology and Electrical Engineering, The University of Queensland, 4072, Australia

    Graeme Smith

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Thanh, C.B., Klaudel, H. (2004). Object-Oriented Modelling with High-Level Modular Petri Nets. In: Boiten, E.A., Derrick, J., Smith, G. (eds) Integrated Formal Methods. IFM 2004. Lecture Notes in Computer Science, vol 2999. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24756-2_16

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-24756-2_16

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-21377-2

  • Online ISBN: 978-3-540-24756-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation