Workshop on the
Definition, Implementation and Application of a Standard Interchange Format for Petri Nets

Satellite event at the
International Conference on Application and Theory of Petri Nets 2004

Bologna, Italy, June 26, 2004

 

Program

The final program is now availiable at http://www.upb.de/cs/kindler/events/XML4PN/program.html.

The proceedings of the workshop is online now.

Objective

The Petri Net Markup Language (PNML) is an evolving interchange format for Petri nets. It needs to support the exchange of all kinds and versions of Petri nets among different Petri net tools. Currently, PNML is the major input for a transfer format for International Standard ISO/IEC 15909 on High-level Petri nets, forming an initial working draft of Part 2.

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.

Scope

Topics include (but are not limited to):

Organization / Program Committee

Submission and Deadlines (extended)

Papers should be submitted in electronic form (PDF) to Ekkart Kindler (kindler@upb.de) by April 11, 2004 . Submissions should not exceed 15 A4 pages using a 12pt font, including: title, author's address and email, and an abstract. Authors will be informed of the acceptance or rejection of their paper by May 10. The final version is due by May 30.

Registration

You can register for the workshop via the official home page of the International Conference on Application and Theory of Petri Nets 2004 (http://www.cs.unibo.it/atpn2004/).

Important Dates (extended)