Workshop on the Petri Net Markup Language 2005 (PNML 05) -
Towards an ISO/IEC Standard Transfer Syntax for Petri Nets

Helsinki University of Technology, Finland, May 26, 2005

In conjunction with the ISO/IEC JTC1/SC7 Plenary and Working Group Meetings

WG 19 Open Distributed Processing and Modelling Languages

 

Objective

The Petri Net Markup Language (PNML) is an interchange format for Petri nets, which supports the exchange of all kinds and versions of Petri nets among different Petri net tools. PNML is the major input for the working draft of the International Standard ISO/IEC 15909-2 on a Transfer Format for High-level Petri nets.

The workshop will bring together tool builders and researchers working on PNML in order to exchange experiences in the implementation and the use of PNML. The workshop will support the official standardization process by discussing and improving the current ISO/IEC 15909-2 working draft on PNML.

This workshop will be held during the ISO/IEC JTC1/SC7 Plenary and Workgroup Meeting (May 22-27, 2005) at Helsinki University of Technology in Espoo.

Program, Thursday, May 26

915-930 Registration

930-1000 Welcome & Status report

1000-1050 Talk 1
C. Stehno: Interchangeable High-level Time Petri Nets

1050-1120 Coffee break

1120-1210 Talk 2
Lom Hillah, Fabrice Kordon, Laure Petrucci, Nicolas Treves: Building an API for ISO/IEC 15909, based on model engineering techniques

1210-1300 Short statements, informal contributions, and discussion
anybody (please contact Ekkart Kindler)

1300-1400 Lunch

1400-1500 Discussion

1500-1530 Coffe break

1530-1800 Working session on the Standard on High-level Petri Nets

Registration

The participation at the workshop is free of charge. Please contact the organizer Kimmo Varpaaniemi for registering for the workshop.

Location and connections

The workshop is organized at The workshop will take place in which is shown as building 30 on the following map. You will find some more information on how to reach Otaniemie and on bus connections from the centre of Helsinki to Otaniemie at http://www.tkk.fi/Current/getting_to_otaniemi.html. Please, feel free to contact the organizers (Kimmo Varpaaniemi) if you have any questions.

Program Committee