The ePNK: An Extensible Petri Net Tool for PNML

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedings – Annual report year: 2011Researchpeer-review

Standard

The ePNK: An Extensible Petri Net Tool for PNML. / Kindler, Ekkart.

Applications and Theory of Petri Nets: 32nd International Conference, PETRI NETS 2011 Newcastle, UK, June 20-24, 2011 Proceedings. Springer, 2011. p. 318-327 (Lecture Notes in Computer Science; No. 6709).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedings – Annual report year: 2011Researchpeer-review

Harvard

Kindler, E 2011, The ePNK: An Extensible Petri Net Tool for PNML. in Applications and Theory of Petri Nets: 32nd International Conference, PETRI NETS 2011 Newcastle, UK, June 20-24, 2011 Proceedings. Springer, Lecture Notes in Computer Science, no. 6709, pp. 318-327, International Workshop on Petri Nets and Software Engineering 2011, Newcastle upon Tyne, United Kingdom, 20/06/2011. https://doi.org/10.1007/978-3-642-21834-7

APA

Kindler, E. (2011). The ePNK: An Extensible Petri Net Tool for PNML. In Applications and Theory of Petri Nets: 32nd International Conference, PETRI NETS 2011 Newcastle, UK, June 20-24, 2011 Proceedings (pp. 318-327). Springer. Lecture Notes in Computer Science, No. 6709 https://doi.org/10.1007/978-3-642-21834-7

CBE

Kindler E. 2011. The ePNK: An Extensible Petri Net Tool for PNML. In Applications and Theory of Petri Nets: 32nd International Conference, PETRI NETS 2011 Newcastle, UK, June 20-24, 2011 Proceedings. Springer. pp. 318-327. (Lecture Notes in Computer Science; No. 6709). https://doi.org/10.1007/978-3-642-21834-7

MLA

Kindler, Ekkart "The ePNK: An Extensible Petri Net Tool for PNML". Applications and Theory of Petri Nets: 32nd International Conference, PETRI NETS 2011 Newcastle, UK, June 20-24, 2011 Proceedings. Springer. (Lecture Notes in Computer Science; Journal number 6709). 2011, 318-327. https://doi.org/10.1007/978-3-642-21834-7

Vancouver

Kindler E. The ePNK: An Extensible Petri Net Tool for PNML. In Applications and Theory of Petri Nets: 32nd International Conference, PETRI NETS 2011 Newcastle, UK, June 20-24, 2011 Proceedings. Springer. 2011. p. 318-327. (Lecture Notes in Computer Science; No. 6709). https://doi.org/10.1007/978-3-642-21834-7

Author

Kindler, Ekkart. / The ePNK: An Extensible Petri Net Tool for PNML. Applications and Theory of Petri Nets: 32nd International Conference, PETRI NETS 2011 Newcastle, UK, June 20-24, 2011 Proceedings. Springer, 2011. pp. 318-327 (Lecture Notes in Computer Science; No. 6709).

Bibtex

@inproceedings{514a14cf9b4d4f50b4d76b1cb1d5ac64,
title = "The ePNK: An Extensible Petri Net Tool for PNML",
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.",
keywords = "ISO/IEC 15909, Extensibility, Petri net tool, Petri Net Markup Language (PNML)",
author = "Ekkart Kindler",
year = "2011",
doi = "10.1007/978-3-642-21834-7",
language = "English",
isbn = "978-3-642-21833-0",
pages = "318--327",
booktitle = "Applications and Theory of Petri Nets",
publisher = "Springer",

}

RIS

TY - GEN

T1 - The ePNK: An Extensible Petri Net Tool for PNML

AU - Kindler, Ekkart

PY - 2011

Y1 - 2011

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

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

KW - ISO/IEC 15909

KW - Extensibility

KW - Petri net tool

KW - Petri Net Markup Language (PNML)

U2 - 10.1007/978-3-642-21834-7

DO - 10.1007/978-3-642-21834-7

M3 - Article in proceedings

SN - 978-3-642-21833-0

SP - 318

EP - 327

BT - Applications and Theory of Petri Nets

PB - Springer

ER -