Petri Net Markup Language Forum 2006 (PNML 06)
Satellite event of
ACSD & Petri Nets 2006, Turku, Finland, June 26, 2006
Program
The program of the PNML Forum is online now: http://wwwcs.uni-paderborn.de/cs/kindler/events/PNML06/program.html.
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 Part 2 of the International Standard
ISO/IEC 15909 on a Transfer Format for High-level Petri Nets.
This draft is currently under discussion at ISO/IEC SC7.
The PNML Forum will bring together tool builders and researchers
working on PNML in order to exchange experiences in the
implementation and the use of PNML. The forum will provide the
scentific foundation of the official standardization process, and
aims at improving, advancing and promoting ISO/IEC 15909-2. Moreover,
it will provide input to future parts of ISO/IEC 15909, which will deal
with extensions of PNML and the exchange of analysis results.
Format of the Forum
This PNML Forum is a satellite event of the
ACSD & Petri Nets 2006
held at Åbo Akademi University, Department of Computer Scienc, Turku,
Finland on the afternoon of June 26.
The PNML Forum will consists of two parts. One part is a scientific
event on theory, practice, and implementation of PNML, which
will be contributions reviewed by the program commitee. The submission
details can be found below. The second part will be a status report and a
dicussion and working session on the PNML Standard.
Scope
Topics for submissions for the scientific part include (but are not
limited to):
- ISO/IEC 15909 and, in particular, on the relationship of
Part 1 and Part 2,
- new Petri net type definitions,
- proposals for future extensions of PNML (ISO/IEC 15909 Part 3)
such as exchange of analysis results,
- transformations among different Petri net types and
to other formalisms,
- technologies for validating PNML implementations,
- implementations and tools,
- experience and problem reports, and
- semantics issues of PNML.
Program Committee
The submissions to the scientific part of the event will be evaluated
by a program committee. The members are:
- J. Billington, Australia (co-chair)
- K. v. Hee, The Netherlands
- E. Kindler, Germany (co-chair)
- F. Kordon, France
- L. Petrucci, France
- T. Courtney, USA
- M. Weber, Germany
- L. Wells, Denmark
- K. Varpaaniemi, Finland
Organisation and Venue
The workshop will be held at
Åbo Akademi University
Department of Computer Science
Turku
Finland
on June 26 at 2pm (see http://wwwcs.uni-paderborn.de/cs/kindler/events/PNML06/program.html for the final program). The
local workshop organization chair is Xinrong Zhou
(xzhou@abo.fi).
Participation at the PNML Forum is free of charge. If you would like to participate in the PNML Forum and also in the main conference, please register through the conference registration page (http://www.cs.abo.fi/acsd-atpn2006/index.php?content=registration) and remember to tick the PNML Forum. If you would
like to participate in the PNML Forum only, please send an email with your registration
information to Ekkart Kindler (kindler@upb.de). For information
on accomodation, please see the conference hotel pages.
Submission
Papers should be submitted in electronic form (PDF) to
Ekkart Kindler (kindler@upb.de)
by March 12, 2006.
Submissions should not exceed 15 pages (A4 format) 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 April 23, 2006. The revised final version is due by
May 21.
There will be an electronic proceedings for the PNML Forum; and the
best contributions will be considered for publication in the
Petri Net Newsletter.
Important Dates
March 12, 2006: Submission of papers
April 23, 2006: Notification of acceptance or rejection
May 21, 2006: Final version due
June 26, 2006: PNML Forum