The ePNK: An Extensible Petri Net Tool for PNML-Reference-Cited by-同舟云学术

The ePNK: An Extensible Petri Net Tool for PNML

Published:2011 Issue: Volume: Page:318-327
ISSN:0302-9743
Container-title:Applications and Theory of Petri Nets
language:
Short-container-title:

Author:

Kindler Ekkart

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-21834-7_18

Reference10 articles.

1. The Eclipse Series;F. Budinsky,2006

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

3. Lecture Notes in Computer Science;J. Billington,2003

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

5. ISO/IEC: Systems and software engineering – High-level Petri nets – Part 2: Transfer format, International Standard ISO/IEC 15909-2:2011

Cited by 11 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. PSPACE-Completeness of the Soundness Problem of Safe Asymmetric-Choice Workflow Nets;Application and Theory of Petri Nets and Concurrency;2020

2. Formal Interoperability Models of Sensor Networks Based on Logical Workflow Nets;International Journal of Software Engineering and Knowledge Engineering;2019-05

3. ePNK Applications and Annotations: A Simulator for YAWL Nets;Application and Theory of Petri Nets and Concurrency;2018

4. A Sufficient and Necessary Condition to Decide Compatibility for Simple Circuit Inter-organization Workflow Nets;Lecture Notes in Computer Science;2016

5. Classical workflow nets and workflow nets with reset arcs: using Lyapunov stability for soundness verification;Journal of Experimental & Theoretical Artificial Intelligence;2015-10-21