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

Electronic Proceedings

There will be no printed proceedings for this workshop. Revised versions of these papers will be published in a forthcoming issue of the Petri Net Newsletter.

Here are the electronic versions of the accepted papers:

C. Stehno:
Interchangeable High-level Time Petri Nets

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