Skip to main content
SpringerLink
Log in

ePNK Applications and Annotations: A Simulator for YAWL Nets

  • Conference paper
  • First Online:
Application and Theory of Petri Nets and Concurrency (PETRI NETS 2018)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 10877))

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    This is a subtlety of YAWL OR-joins, which we do not discuss in detail in this paper.

  2. 2.

    Technically, it is an Ecore model, which is kind of a light-weight version of UML class diagrams used by EMF [6].

  3. 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

  1. 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)

    Google Scholar 

  2. ISO/IEC: systems and software engineering - high-level Petri nets - part 2: transfer format, International Standard ISO/IEC 15909–2:2011 (2011)

    Google Scholar 

  3. 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

    Chapter  MATH  Google Scholar 

  4. 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)

    Google Scholar 

  5. van der Aalst, W., ter Hofstede, A.: YAWL: yet another workflow language. Inf. Syst. 30(4), 245–275 (2005)

    Article  Google Scholar 

  6. Budinsky, F., Steinberg, D., Merks, E., Ellersick, R., Grose, T.J.: Eclipse Modeling Framework. The Eclipse Series, 2nd edn. Addison-Wesley, Boston (2006)

    Google Scholar 

  7. OMG: XML metadata interchange (XMI) specification, version 2.0. Technical report formal/03-05-02, The Object Management Group, Inc. (2003)

    Google Scholar 

  8. OMG: Meta Object Facility (MOF) specification, version 1.4.1. Technical report formal/05-05-05, The Object Management Group, Inc. (2005)

    Google Scholar 

  9. PNML Team: PNML.org: the Petri net markup language home page. http://www.pnml.org/

  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). https://doi.org/10.1007/978-3-642-13675-7_20

    Chapter  Google Scholar 

  11. CPN Tools: home page. http://cpntools.org/

  12. PRoM Tools: home page. http://www.promtools.org/doku.php

  13. 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

    Chapter  MATH  Google Scholar 

  14. Kindler, E.: Coordinating interactions: the event coordination notation. Technical report DTU Compute Technical report 2014–05, DTU Compute, Kongens Lyngby, Denmark (2014)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Software Engineering Section, DTU Compute, Technical University of Denmark, Kgs. Lyngby, Denmark

    Ekkart Kindler

Authors
  1. Ekkart Kindler
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Ekkart Kindler .

Editor information

Editors and Affiliations

  1. University of Newcastle, Newcastle upon Tyne, United Kingdom

    Victor Khomenko

  2. École Centrale de Nantes, Nantes Cedex 3, France

    Olivier H. Roux

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer International Publishing AG, part of Springer Nature

About this paper

Check for updates. Verify currency and authenticity via CrossMark

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)

Publish with us

Policies and ethics

Search

Navigation