Advertisement

Extending pnml Scope: A Framework to Combine Petri Nets Types

  • Lom-Messan Hillah
  • Fabrice Kordon
  • Charles Lakos
  • Laure Petrucci
Part of the Lecture Notes in Computer Science book series (LNCS, 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 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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)CrossRefGoogle Scholar
  2. 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 CrossRefGoogle Scholar
  3. 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. 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)MathSciNetCrossRefGoogle Scholar
  5. 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)CrossRefGoogle Scholar
  6. 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)CrossRefGoogle Scholar
  7. 7.
    Eclipse Foundation: The Eclipse Compare project home page (2011), http://www.eclipse.org/emf/compare/
  8. 8.
    Green, R.: Java Glossary: Orthogonal (1996-2011), http://mindprod.com/jgloss/orthogonal.html
  9. 9.
    Harel, D.: Lecture on Executable Visual Languages for System Development (2011), http://www.wisdom.weizmann.ac.il/~michalk/VisLang2011/
  10. 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)CrossRefGoogle Scholar
  11. 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 2009Google Scholar
  12. 12.
  13. 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. 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. 15.
    ISO/IEC/JTC1/SC7/WG19: The Petri Net Markup Language home page (2011), http://www.pnml.org
  16. 16.
    Jensen, K., Kristensen, L.M.: Coloured Petri Nets: Modelling and Validation of Concurrent Systems. Springer (June 2009)Google Scholar
  17. 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. 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)CrossRefGoogle Scholar
  19. 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)CrossRefGoogle Scholar
  20. 20.
    Meyer, B.: Eiffel: The Language. Prentice Hall, New York (1992)zbMATHGoogle Scholar
  21. 21.
    OMG: Unified Modeling Language: Superstructure - Version 2.4 - ptc/2010-11-14 (January 2011), http://www.uml.org/
  22. 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. 23.
    Palsberg, J., Schwartzbach, M.: Object-Oriented Type Systems. Wiley Professional Computing. Wiley, Chichester (1994)zbMATHGoogle Scholar
  24. 24.
    Pratt, T., Zelkowitz, M.: Programming Languages Design and Implementation, 3rd edn. Prentice-Hall (1999)Google Scholar
  25. 25.
    Raymond, E.S.: The Art of Unix Programming (2003), http://www.catb.org/~esr/writings/taoup/html/ch04s02.html#orthogonality
  26. 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)CrossRefGoogle Scholar
  27. 27.
    SearchStorage: Definition: Orthogonal (June 2000), http://searchstorage.techtarget.com/definition/orthogonal
  28. 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. 29.
    Szyperski, C.: Component Software: Beyond Object-Oriented Programming. Addison-Wesley (1998)Google Scholar
  30. 30.
    Winskel, G.: Petri Nets, Algebras, Morphisms, and Compositionality. Information and Computation 72, 197–238 (1987)MathSciNetzbMATHCrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Lom-Messan Hillah
    • 1
  • Fabrice Kordon
    • 2
  • Charles Lakos
    • 3
  • Laure Petrucci
    • 4
  1. 1.LIP6, CNRS UMR 7606Université Paris Ouest Nanterre La DéfenseNanterre CedexFrance
  2. 2.LIP6 - CNRS UMR 7606Université P. & M. CurieParis cedex 05France
  3. 3.University of AdelaideAdelaideAustralia
  4. 4.LIPN, CNRS UMR 7030Université Paris XIIIVilletaneuseFrance

Personalised recommendations