Workshop on Petri Net Standards 2007
http://wwwcs.uni-paderborn.de/cs/kindler/events/PNS07/
June 26, 2007, Satellite event of Petri Nets 2007
<http://atpn2007.ap.siedlce.pl/>, Siedlce, Poland, June 25-29, 2007
Aims
ISO/IEC 15909 is an international multipart standard for high-level
Petri nets. Part 1 deals with concepts, definitions, and the graphical
representation of high-level Petri nets. It was published by ISO in
December 2004. Currenttly, there is some work on an amendment to Part 1,
which is defining a class of symmetric nets, based on well-formed nets,
to take advantage of symmetries in reachability analysis. It can also
help to provide a simple class of high-level Petri nets that can ease
the development of Part 2. Part 2 deals with an interchange format for
high-level Petri nets including Place/Transition-Systems. This part is
at the Committee Draft stage, and is still being developed. Part 3 of
the standard is envisaged to include extensions beyond Part 1 and Part
2, such as the introduction of time (deterministic and stochastic),
modularity constructs (e.g. hierarchies, substitution transitions and
places, place and transition fusion) and possibly reset and inhibitor
arcs. No work has started on Part 3. Beyond the current scope of ISO/IEC
15909, there is the need to exchange other versions of Petri nets, and,
perhaps more importantly, analysis results and properties of Petri nets
among different tools.
The Workshop on Petri Net Standards will bring together tool builders
and researchers working on Petri net standardisation issues in order to
exchange experiences. This includes all aspects of standardisation
covering ISO/IEC 15909 and future requirements. Of particular interest
are reports of practical experience of using formats for exchanging
Petri nets between different tools, and especially for high-level Petri
nets, where the exchange formats are only just starting to be
standardised. Proposals for new classes of high-level nets are also of
interest.
The workshop aims to provide the scientific foundation underpinning the
standards, and to improve, advance and promote ISO/IEC 15909. Moreover,
it will provide input to future parts (especially Part 3) of ISO/IEC
15909, which will deal with extensions. The Workshop on Petri Net
Standards will also provide a forum for working on the text of ISO/IEC
15909 standards. This will include the amendment to Part 1, finalising
Part 2 and making first proposals for Part 3.
Format of the Workshop
This Workshop on Petri Net Standards will be held on June 26, 2007 as a
satellite event of Petri Nets 2007 <http://atpn2007.ap.siedlce.pl/> held
in Siedlce, Poland, June 25-29, 2007.
The workshop will consist of two parts. The first part is a scientific
event on theory, practice, and implementation of ISO/IEC 15909 and other
exchange formats. Technical contributions and experience reports are
solicited and will be reviewed by the program committee. The submission
details can be found below. The second part will be a discussion and
working session on the current parts of ISO/IEC 15909 which may also
provide some input for future Parts.
Scope
Topics for submissions to the scientific part include (but are not
limited to):
* ISO/IEC 15909 and, in particular, the relationship between Part 1
and Part 2,
* proposals for the definition of new net classes and new Petri net
type definitions (including but not limited to symmetric nets, as
in the amendment to Part 1),
* proposals for future extensions of ISO/IEC 15909 (Part 3) such as
time, modularity, and exchange of analysis results,
* transformations among different Petri net types and to other
formalisms,
* technologies for validating implementations,
* implementations and tools,
* experience and problem reports (including trials of the Part 2
exchange format between different tools), and
* semantics issues related to exchange formats.
Program Committee
The submissions to the scientific part of the event will be evaluated by
a program committee. The members are:
* J. Billington, Australia
* T. Courtney, USA
* K. van Hee, The Netherlands
* E. Kindler, Germany (co-chair)
* F. Kordon, France
* L. Petrucci, France (co-chair)
* L. Wells, Denmark
* K. Varpaaniemi, Finland
Organisation and Venue
The workshop will be held in
Siedlce
Poland
on June 26, 2007.
For information on registration and accommodation, please see the Petri
Nets 2007 <http://atpn2007.ap.siedlce.pl/> home page.
Submission
Papers should be submitted in electronic form (PDF) to the PC chairs
([EMAIL PROTECTED])
<mailto:[EMAIL PROTECTED]> by March 10, 2007.
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 on the acceptance or rejection of their paper by April
15, 2007. The revised final version is due by May 15, 2007, which will
be included in the workshop's proceedings.
Moreover, the best papers will be selected for submission to a special
volume in the LNCS series covering contributions to the different
Satellite Workshops of Petri Nets 2007 after the workshops. These papers
will be subject to an additional review process.
Important Dates
March 10, 2007: *Submission* of papers
April 15, 2007: *Notification* of acceptance or rejection
May 19, 2007: *Final version* due
June 26, 2007: *Workshop on Petri Net Standards 2007*
----
[[ Petri Nets World: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies: ]]
[[ [email protected] ]]
