Abstract
The Petri Net Markup Language (PNML) is an XML-based interchange format for all kinds of Petri nets, which is an ISO/IEC International Standard 15909-2 now. The focus of this standard is on PNML as an interchange format for high-level Petri nets. PNML, however, is more general and allows exchanging all kinds of Petri nets. To this end, PNML introduced the concept of Petri Net Type Definitions.
There are many tools supporting one form of PNML or another. In particular, there is the PNML Framework, which helps tool developers implementing an interface to PNML by providing a framework and an API for loading and saving Petri net documents in PNML. This framework is based on the Eclipse Modeling Framework and has the focus on the underlying meta-models of Petri nets. The PNML Framework, however, is not generic in the following sense: Whenever a new Petri net type is created, the code for the complete tool needs to be regenerated. Moreover, the PNML Framework does not come with a graphical editor.
The ePNK overcomes these limitations: It provides an extension-point so that new Petri net types can be plugged into the ePNK without touching the code of the ePNK. For defining a new Petri net type, the developer, basically, needs to give a class diagram defining the concepts of the new Petri net type, along with a mapping of these concepts to XML syntax. This type can then be plugged into the ePNK, and its graphical editor will be able to edit nets of this new type with all its features. This paper present the main idea of the ePNK, and how to use and extend it.
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
Budinsky, F., Steinberg, D., Merks, E., Ellersick, R., Grose, T.J.: Eclipse Modeling Framework, 2nd edn. The Eclipse Series. Addison-Wesley, Reading (2006)
Jüngel, M., Kindler, E., Weber, M.: Towards a generic interchange format for Petri nets – position paper. In: Bastide, R., Billington, J., Kindler, E., Kordon, F., Mortensen, K.H. (eds.) Meeting on XML/SGML based Interchange Formats for Petri Nets, pp. 1–5 (2000)
Billington, J., Christensen, S., van Hee, K.M., Kindler, E., Kummer, O., Petrucci, L., Post, R., Stehno, C., Weber, M.: The Petri Net Markup Language: Concepts, technology, and tools. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol. 2679, pp. 483–505. Springer, Heidelberg (2003)
Hillah, L., Kindler, E., Kordon, F., Petrucci, L., Treves, N.: A primer on the Petri Net Markup Language and ISO/IEC 15909-2. In: Jensen, K. (ed.) 10th Workshop on Coloured Petri Nets (CPN 2009), pp. 101–120 (2009)
ISO/IEC: Systems and software engineering – High-level Petri nets – Part 2: Transfer format, International Standard ISO/IEC 15909-2:2011
Kindler, E.: The Petri Net Markup Language and ISO/IEC 15909-2: Concepts, status, and future directions. In: Schnieder, E. (ed.) Entwurf komplexer Automatisierungssysteme, Fachtagung, vol. 9, pp. 35–55 (2006) invited paper
Kindler, E.: ePNK: A generic PNML tool - users’ and developers’ guide: version 0.9.1. IMM-Technical Report-2011-03, DTU Informatics, Denmark (2011)
Kindler, E., Desel, J.: Der Traum von einem universellen Petrinetz-Werkzeug — Der Petrinetz-Kern. In: Desel, J., Oberweis, A., Kindler, E. (eds.) 3. Workshop Algorithmen und Werkzeuge für Petrinetze. Forschungsberichte, Institut AIFB, Universität Karlsruhe, vol. 341 (1996)
Kindler, E., Weber, M.: The Petri Net Kernel – an infrastructure for building Petri net tools. Software Tools for Technology Transfer 3(4), 486–497 (2001)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kindler, E. (2011). The ePNK: An Extensible Petri Net Tool for PNML. In: Kristensen, L.M., Petrucci, L. (eds) Applications and Theory of Petri Nets. PETRI NETS 2011. Lecture Notes in Computer Science, vol 6709. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-21834-7_18
Download citation
DOI: https://doi.org/10.1007/978-3-642-21834-7_18
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-21833-0
Online ISBN: 978-3-642-21834-7
eBook Packages: Computer ScienceComputer Science (R0)