Skip to main content

Extending pnml Scope: A Framework to Combine Petri Nets Types

  • Chapter

Part of the Lecture Notes in Computer Science book series (TOPNOC,volume 7400)

Abstract

The Petri net standard ISO/IEC 15909 comprises 3 parts. The first one defines the most used net types, the second an interchange format for these – both are published. The third part deals with Petri net extensions, in particular structuring mechanisms and the introduction of additional, more elaborate net types within the standard.

This paper presents a contribution to elaborate an extension framework for the third part of the standard. This strategy aims at composing enabling rules and augmenting constraints in order to build new Petri net types. We show as a proof of concept how this can be achieved with priorities, times, inhibitor arcs in the context of an interleaving semantics. We then map this framework onto the current standard metamodels.

Keywords

  • S tandardisation
  • pnml
  • Prioritised Petri Nets
  • Time Nets

This is a preview of subscription content, access via your institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • DOI: 10.1007/978-3-642-35179-2_3
  • Chapter length: 25 pages
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
eBook
USD   69.99
Price excludes VAT (USA)
  • ISBN: 978-3-642-35179-2
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD   89.99
Price excludes VAT (USA)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Bause, F.: Analysis of Petri Nets with a Dynamic Priority Method. In: Azéma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol. 1248, pp. 215–234. Springer, Heidelberg (1997)

    CrossRef  Google Scholar 

  2. Bérard, B., Cassez, F., Haddad, S., Lime, D., Roux, O.H.: Comparison of Different Semantics for Time Petri Nets. In: Peled, D.A., Tsay, Y.-K. (eds.) ATVA 2005. LNCS, vol. 3707, pp. 293–307. Springer, Heidelberg (2005), http://move.lip6.fr/~Beatrice.Berard/PDF/bchlr-atva05.pdf

    CrossRef  Google Scholar 

  3. Bérard, B., Lime, D., Roux, O.: A Note on Petri Nets with Time. Integrated in report on WG19 plenary meeting in Paris, ISO/IEC/JTC1/SC7/WG19 (2011)

    Google Scholar 

  4. Berthomieu, B., Diaz, M.: Modeling and verification of time dependent systems using time Petri nets. IEEE Trans. on Soft. Eng. 17(3), 259–273 (1991)

    MathSciNet  CrossRef  Google Scholar 

  5. Christensen, S., Hansen, N.D.: Coloured Petri Nets Extended with Place Capacities, Test Arcs and Inhibitor Arcs. In: Ajmone Marsan, M. (ed.) ICATPN 1993. LNCS, vol. 691, pp. 186–205. Springer, Heidelberg (1993)

    CrossRef  Google Scholar 

  6. Czaja, I., van Glabbeek, R.J., Goltz, U.: Interleaving Semantics and Action Refinement with Atomic Choice. In: Rozenberg, G. (ed.) APN 1992. LNCS, vol. 609, pp. 89–107. Springer, Heidelberg (1992)

    CrossRef  Google Scholar 

  7. Eclipse Foundation: The Eclipse Compare project home page (2011), http://www.eclipse.org/emf/compare/

  8. Green, R.: Java Glossary: Orthogonal (1996-2011), http://mindprod.com/jgloss/orthogonal.html

  9. Harel, D.: Lecture on Executable Visual Languages for System Development (2011), http://www.wisdom.weizmann.ac.il/~michalk/VisLang2011/

  10. Hillah, L.M., Kordon, F., Petrucci, L., Trèves, N.: PNML Framework: An Extendable Reference Implementation of the Petri Net Markup Language. In: Lilius, J., Penczek, W. (eds.) PETRI NETS 2010. LNCS, vol. 6128, pp. 318–327. Springer, Heidelberg (2010)

    CrossRef  Google Scholar 

  11. Hillah, L., Kindler, E., Kordon, F., Petrucci, L., Trèves, N.: A primer on the Petri Net Markup Language and ISO/IEC 15909-2. Petri Net Newsletter 76, 9–28 (2009), Originally Presented at CPN 2009

    Google Scholar 

  12. IBM: The IBM Language Extensions (1991), http://publib.boulder.ibm.com/infocenter/lnxpcomp/v7v91/index.jsp?topic=%2Fcom.ibm.vacpp7l.doc%2Flanguage%2Fref%2Fclrc00ibm_lang_extensions.html

  13. ISO/IEC: Software and Systems Engineering - High-level Petri Nets, Part 1: Concepts, Definitions and Graphical Notation, International Standard ISO/IEC 15909 (December 2004)

    Google Scholar 

  14. ISO/IEC: Software and Systems Engineering - High-level Petri Nets, Part 2: Transfer Format, International Standard ISO/IEC 15909 (February 2011)

    Google Scholar 

  15. ISO/IEC/JTC1/SC7/WG19: The Petri Net Markup Language home page (2011), http://www.pnml.org

  16. Jensen, K., Kristensen, L.M.: Coloured Petri Nets: Modelling and Validation of Concurrent Systems. Springer (June 2009)

    Google Scholar 

  17. Kummer, O., Wienberg, F., Duvigneau, M., Cabac, L.: Renew - User Guide. Tech. Rep. Release 2.2, University of Hamburg (2009), http://www.renew.de/

  18. Lakos, C., Petrucci, L.: Modular State Spaces for Prioritised Petri Nets. In: Calinescu, R., Jackson, E. (eds.) Monterey Workshop 2010. LNCS, vol. 6662, pp. 136–156. Springer, Heidelberg (2011)

    CrossRef  Google Scholar 

  19. Lakos, C.: Composing Abstractions of Coloured Petri Nets. In: Nielsen, M., Simpson, D. (eds.) ICATPN 2000. LNCS, vol. 1825, pp. 323–342. Springer, Heidelberg (2000)

    CrossRef  Google Scholar 

  20. Meyer, B.: Eiffel: The Language. Prentice Hall, New York (1992)

    MATH  Google Scholar 

  21. OMG: Unified Modeling Language: Superstructure - Version 2.4 - ptc/2010-11-14 (January 2011), http://www.uml.org/

  22. Pahl, C.: Modular, Behaviour Preserving Extensions of the Unix C-shell Interpreter Language. Tech. Rep. IT-TR:1997-014, Department of Information Technology, Technical University of Denmark (1997), http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.53.8183

  23. Palsberg, J., Schwartzbach, M.: Object-Oriented Type Systems. Wiley Professional Computing. Wiley, Chichester (1994)

    MATH  Google Scholar 

  24. Pratt, T., Zelkowitz, M.: Programming Languages Design and Implementation, 3rd edn. Prentice-Hall (1999)

    Google Scholar 

  25. Raymond, E.S.: The Art of Unix Programming (2003), http://www.catb.org/~esr/writings/taoup/html/ch04s02.html#orthogonality

  26. Reynier, P.-A., Sangnier, A.: Weak Time Petri Nets Strike Back! In: Bravetti, M., Zavattaro, G. (eds.) CONCUR 2009. LNCS, vol. 5710, pp. 557–571. Springer, Heidelberg (2009)

    CrossRef  Google Scholar 

  27. SearchStorage: Definition: Orthogonal (June 2000), http://searchstorage.techtarget.com/definition/orthogonal

  28. Steinberg, D., Budinsky, F., Paternostro, M., Merks, E.: EMF: Eclipse Modeling Framework, 2nd edn. Eclipse Series. Addison-Wesley Professional (December 2008)

    Google Scholar 

  29. Szyperski, C.: Component Software: Beyond Object-Oriented Programming. Addison-Wesley (1998)

    Google Scholar 

  30. Winskel, G.: Petri Nets, Algebras, Morphisms, and Compositionality. Information and Computation 72, 197–238 (1987)

    MathSciNet  MATH  CrossRef  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and Permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Hillah, LM., Kordon, F., Lakos, C., Petrucci, L. (2012). Extending pnml Scope: A Framework to Combine Petri Nets Types. In: Jensen, K., van der Aalst, W.M., Ajmone Marsan, M., Franceschinis, G., Kleijn, J., Kristensen, L.M. (eds) Transactions on Petri Nets and Other Models of Concurrency VI. Lecture Notes in Computer Science, vol 7400. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-35179-2_3

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-35179-2_3

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-35178-5

  • Online ISBN: 978-3-642-35179-2

  • eBook Packages: Computer ScienceComputer Science (R0)