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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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)
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
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)
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)
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)
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)
Eclipse Foundation: The Eclipse Compare project home page (2011), http://www.eclipse.org/emf/compare/
Green, R.: Java Glossary: Orthogonal (1996-2011), http://mindprod.com/jgloss/orthogonal.html
Harel, D.: Lecture on Executable Visual Languages for System Development (2011), http://www.wisdom.weizmann.ac.il/~michalk/VisLang2011/
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)
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
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
ISO/IEC: Software and Systems Engineering - High-level Petri Nets, Part 1: Concepts, Definitions and Graphical Notation, International Standard ISO/IEC 15909 (December 2004)
ISO/IEC: Software and Systems Engineering - High-level Petri Nets, Part 2: Transfer Format, International Standard ISO/IEC 15909 (February 2011)
ISO/IEC/JTC1/SC7/WG19: The Petri Net Markup Language home page (2011), http://www.pnml.org
Jensen, K., Kristensen, L.M.: Coloured Petri Nets: Modelling and Validation of Concurrent Systems. Springer (June 2009)
Kummer, O., Wienberg, F., Duvigneau, M., Cabac, L.: Renew - User Guide. Tech. Rep. Release 2.2, University of Hamburg (2009), http://www.renew.de/
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)
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)
Meyer, B.: Eiffel: The Language. Prentice Hall, New York (1992)
OMG: Unified Modeling Language: Superstructure - Version 2.4 - ptc/2010-11-14 (January 2011), http://www.uml.org/
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
Palsberg, J., Schwartzbach, M.: Object-Oriented Type Systems. Wiley Professional Computing. Wiley, Chichester (1994)
Pratt, T., Zelkowitz, M.: Programming Languages Design and Implementation, 3rd edn. Prentice-Hall (1999)
Raymond, E.S.: The Art of Unix Programming (2003), http://www.catb.org/~esr/writings/taoup/html/ch04s02.html#orthogonality
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)
SearchStorage: Definition: Orthogonal (June 2000), http://searchstorage.techtarget.com/definition/orthogonal
Steinberg, D., Budinsky, F., Paternostro, M., Merks, E.: EMF: Eclipse Modeling Framework, 2nd edn. Eclipse Series. Addison-Wesley Professional (December 2008)
Szyperski, C.: Component Software: Beyond Object-Oriented Programming. Addison-Wesley (1998)
Winskel, G.: Petri Nets, Algebras, Morphisms, and Compositionality. Information and Computation 72, 197–238 (1987)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)