Abstract
The ePNK is an Eclipse based platform and framework for developing and integrating Petri net tools and applications. New types of Petri nets can be realized and plugged into the ePNK without any programming by simply providing a model of the concepts of the new Petri net type. Moreover, the ePNK allows developers to customize the graphical appearance of the features of a new Petri net type.
In this paper, we discuss how to implement applications for the ePNK, and how they can interact with the end user by so-called annotations. This is discussed by the example of a simulator for YAWL nets.
Keywords
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
This is a subtlety of YAWL OR-joins, which we do not discuss in detail in this paper.
- 2.
Technically, it is an Ecore model, which is kind of a light-weight version of UML class diagrams used by EMF [6].
- 3.
If you intend to use the ePNK for developing own Petri net types or applications, it is recommended to install the “Eclipse Modeling Tools” package of Eclipse.
References
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.) \(10^{th}\) 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 (2011)
Kindler, E.: The ePNK: an extensible Petri net tool for PNML. In: Kristensen, L.M., Petrucci, L. (eds.) PETRI NETS 2011. LNCS, vol. 6709, pp. 318–327. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-21834-7_18
Kindler, E.: The ePNK: a generic PNML tool - users’ and developers’ guide for version 1.0.0. Technical report IMM-Technical report-2012-14, DTU Informatics, Kgs. Lyngby, Denmark (2012)
van der Aalst, W., ter Hofstede, A.: YAWL: yet another workflow language. Inf. Syst. 30(4), 245–275 (2005)
Budinsky, F., Steinberg, D., Merks, E., Ellersick, R., Grose, T.J.: Eclipse Modeling Framework. The Eclipse Series, 2nd edn. Addison-Wesley, Boston (2006)
OMG: XML metadata interchange (XMI) specification, version 2.0. Technical report formal/03-05-02, The Object Management Group, Inc. (2003)
OMG: Meta Object Facility (MOF) specification, version 1.4.1. Technical report formal/05-05-05, The Object Management Group, Inc. (2005)
PNML Team: PNML.org: the Petri net markup language home page. http://www.pnml.org/
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). https://doi.org/10.1007/978-3-642-13675-7_20
CPN Tools: home page. http://cpntools.org/
PRoM Tools: home page. http://www.promtools.org/doku.php
Kummer, O., Wienberg, F., Duvigneau, M., Schumacher, J., Köhler, M., Moldt, D., Rölke, H., Valk, R.: An extensible editor and simulation engine for Petri nets: Renew. In: Cortadella, J., Reisig, W. (eds.) ICATPN 2004. LNCS, vol. 3099, pp. 484–493. Springer, Heidelberg (2004). https://doi.org/10.1007/978-3-540-27793-4_29
Kindler, E.: Coordinating interactions: the event coordination notation. Technical report DTU Compute Technical report 2014–05, DTU Compute, Kongens Lyngby, Denmark (2014)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG, part of Springer Nature
About this paper
Cite this paper
Kindler, E. (2018). ePNK Applications and Annotations: A Simulator for YAWL Nets. In: Khomenko, V., Roux, O. (eds) Application and Theory of Petri Nets and Concurrency. PETRI NETS 2018. Lecture Notes in Computer Science(), vol 10877. Springer, Cham. https://doi.org/10.1007/978-3-319-91268-4_17
Download citation
DOI: https://doi.org/10.1007/978-3-319-91268-4_17
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-91267-7
Online ISBN: 978-3-319-91268-4
eBook Packages: Computer ScienceComputer Science (R0)