PNML framework: an extendable reference implementation of the petri net markup language

Authors:
L. M. Hillah;F. Kordon;L. Petrucci;N. Trèves
Affiliations:
CNRS UMR 7606 - LIP6/MoVe, Université P. & M. Curie - Paris 6, Paris CEDEX 05, France;CNRS UMR 7606 - LIP6/MoVe, Université P. & M. Curie - Paris 6, Paris CEDEX 05, France;LIPN, CNRS UMR 7030, Université Paris XIII, Villetaneuse, France;Cedric, CNAM, Paris Cedex 03, France
Venue:
PETRI NETS'10 Proceedings of the 31st international conference on Applications and Theory of Petri Nets
Year:
2010

Citing 1
Cited 3

Experimenting Formal Proofs of Petri Nets Refinements

Electronic Notes in Theoretical Computer Science (ENTCS)

The ePNK: an extensible petri net tool for PNML

PETRI NETS'11 Proceedings of the 32nd international conference on Applications and theory of Petri Nets
Choosing and adapting design notations in the principled development of complex systems simulations for research

Proceedings of the Modelling of the Physical World Workshop
Unifying the semantics of modular extensions of petri nets

PETRI NETS'13 Proceedings of the 34th international conference on Application and Theory of Petri Nets and Concurrency

Quantified Score

Hi-index	0.00

Visualization

Abstract

The International Standard on Petri nets, ISO/IEC 15909, provides a formal semantics and syntax to enable model interchange and industrial dissemination. Part 2 defines a concrete interchange format as an XML-based language: PNML. This language is bound to evolve together with future developments of the standard. This paper presents PNML Framework, a companion implementation of the standard. It provides developers of Petri net tools with a convenient and fast way to implement support of PNML documents. It abstracts away from any XML explicit manipulation and ensures compliance with the standard by using APIs.