A primer on the Petri Net Markup Language and ISO/IEC 15909-2 - Archive ouverte HAL
Communication Dans Un Congrès Année : 2009

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

Résumé

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.
Fichier non déposé

Dates et versions

hal-01126017 , version 1 (06-03-2015)

Identifiants

  • HAL Id : hal-01126017 , version 1

Citer

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⟩
316 Consultations
0 Téléchargements

Partager

More