A primer on the Petri Net Markup Language and ISO/IEC 15909-2

Abstract : In 2000, there was a workshop [1] that should foster the definition of a standard transfer format for Petri nets as a satellite event of the annual ?Petri Net Conference? in Aarhus. As a result of this first workshop, after many other discussions and meetings, the Petri Net Markup Language (PNML) is about to be finally adopted as ISO/IEC 15909-2. Over the years, PNML has evolved and, unfortunately, there are many different intermediate versions and variants, that are still in use. With this paper, we would like to report on the final result and on PNML as it is defined in ISO/IEC 15909-2. This way, we hope to unify the different lines of PNML and advertise the use of ISO/IEC 15909-2.
Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01126017
Contributor : Laboratoire Cedric <>
Submitted on : Friday, March 6, 2015 - 11:36:43 AM
Last modification on : Thursday, March 21, 2019 - 2:44:17 PM

Identifiers

  • HAL Id : hal-01126017, version 1

Citation

Nicolas Treves, Lom Messan Hillah, Fabrice Kordon, Laure Petrucci. A primer on the Petri Net Markup Language and ISO/IEC 15909-2. 10th International workshop on Practical Use of Colored Petri Nets and the CPN Tools (CPN'09), Oct 2009, Aarhus, Denmark. pp.19. ⟨hal-01126017⟩

Share

Metrics

Record views

303