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 33 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

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

2. Checking Missing-Data Errors in Cyber-Physical Systems Based on the Merged Process of Petri Nets;IEEE Transactions on Industrial Informatics;2023-03

3. SMPT: A Testbed for Reachability Methods in Generalized Petri Nets;Formal Methods;2023

4. Transforming Dynamic Condition Response Graphs to Safe Petri Nets;Application and Theory of Petri Nets and Concurrency;2023

5. Leveraging polyhedral reductions for solving Petri net reachability problems;International Journal on Software Tools for Technology Transfer;2022-12-22