View article

Lom M Hillah, Ekkart Kindler, Fabrice Kordon, Laure Petrucci, Nicolas Treves

2009/10

Petri Net Newsletter

76

9-28

Gesellschaft für Informatik, Germany

A primer on the Petri Net Markup Language and ISO/IEC 15909-2 Page 1 A primer on the Petri Net Markup Language and ISO/IEC 15909-2 Lom Hillah1 Ekkart Kindler2 Fabrice Kordon1 Laure Petrucci3 Nicolas Tr`eves4 1LIP6, Université Pierre et Marie Curie, Paris, France 2Technical University of Denmark (DTU), Lyngby, Denmark 3LIPN, University Paris 13, Villetaneuse, France 4CEDRIC, CNAM, Paris, France L. Hillah, E. Kindler, F. Kordon, L. Petrucci, N. Tr`eves A primer on PNML and ISO/IEC 15909-2 CPN’09 — 19–21 October 2009 1 / 13 Page 2 Genesis Genesis of ISO/IEC 15909 Part 1 (2000–2004) formal definition of high-level and place/transition nets International Standard since December 2004 an amendment defining symmetric nets is in final stages of discussion Part 2 (2003–2010) aims at defining an exchange format, PNML is accompanied by tool support should become an international standard by …