PNML Framework: An Extendable Reference Implementation of the Petri Net Markup Language-Reference-Cited by-同舟云学术

PNML Framework: An Extendable Reference Implementation of the Petri Net Markup Language

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

Author:

Hillah L. M.,Kordon F.,Petrucci L.,Trèves N.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-13675-7_20.pdf

Reference8 articles.

1. Electronic Notes in Theor. Comp. Sci.;C. Choppy,2008

2. Eclipse Foundation. Eclipse Modeling Framework, http://www.eclipse.org/emf/

3. Hillah, L., Kindler, E., Kordon, F., Petrucci, L., Trèves, N.: A primer on the Petri Net Markup Language and ISO/IEC 15909-2. In: Petri Net Newsletter (originally presented at the 10th International workshop on Practical Use of Colored Petri Nets and the CPN Tools – CPN 2009), October 2009, vol. 76, pp. 9–28 (2009), http://www.cs.au.dk/CPnets/events/workshop09/assets/paper06.pdf

4. The Coloane home page (2009), http://coloane.lip6.fr/

5. The CPN-AMI home page (2009), http://www.lip6.fr/cpn-ami

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

1. Distributed Petri nets for model-driven verifiable robotic applications in ROS;Innovations in Systems and Software Engineering;2024-06-25

2. Transpilation of Petri-nets into B;Lecture Notes in Computer Science;2024

3. CosyVerif: The Path to Formalisms Cohabitation;Lecture Notes in Computer Science;2024

4. DiNeROS: A Model-Driven Framework for Verifiable ROS Applications with Petri Nets;2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C);2023-10-01

5. PM4Py: A process mining library for Python;Software Impacts;2023-09