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
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 and Proceedings
The program and information on the workshop location and registration
are now available at http://wwwcs.uni-paderborn.de/cs/kindler/events/PNML05/program.html.
There will be no printed proceedings for the workshop. The papers
are available in electronic form at http://wwwcs.uni-paderborn.de/cs/kindler/events/PNML05/proceedings.html. Revised versions
of the paper will be published in the Petri Net Newsletter.
Scope
Topics include (but are not limited to):
- new Petri net type definitions and feature definitions
- ISO/IEC 15909 and, in particular, relationship of
Part 2 to Part 1
- XML technologies for defining the interchange format
- proposals for exchanging analysis results
- transformations among different Petri net types and
to other formalisms
- semantics
- implementations, tools and experience reports
Program Committee
- J. Billington, Australia
- N. Husberg, Finland
- E. Kindler, Germany (chair)
- A. Koelmans, United Kingdom
- F. Kordon, France
- L. Petrucci, France
- M. Weber, Germany
- K. Varpaaniemi, Finland
Organisation
The workshop will be held at
Helsinki University of Technology,
Department of Computer Science and Engineering,
Laboratory for Theoretical Computer Science,
and will be organized
by Kimmo Varpaaniemi
and Nisse Husberg.
Submission
Papers should be submitted in electronic form (PDF) to
Ekkart Kindler (kindler@upb.de)
by April 10, 2005.
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 1. Note that there will be no revisions
process after the review. Therefore, submissions should be in
a form that they can be printed as submitted.
After the workshop authors will be a post workshop proceedings
which is printed as a technical report of the Computer Science
Department of Paderborn University. This will authors to revise
their paper according to the reviews and to the discussions
during the workshop.
Important Dates
Apr. 10, 2005: Submission of papers
May. 1, 2005: Notification of acceptance or rejection
May. 26, 2005: Workshop