Workshop on Petri Net Standards 2007

June 26, 2007, Satellite event of Petri Nets 2007, Siedlce, Poland, June 25-29, 2007

Aims

The workshop aims to provide the scientific foundation underpinning to Petri net 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 (which is now going to final committee draft level, FCD) and making first proposals for Part 3.

Part 3 of ISO/IEC 15909 will be concerned with defining other net types, particularly stochastic Petri nets, and extensions such as modularity. Input on these issues and participants interested in these topics are most welcome.

For more information see the Call for Papers.

Program (preliminary)

Tuesday, June 26

830-1000 Talk session I (Chair: Ekkart Kindler)
Opening

Laure Pertrucci: ISO/IEC 15909-2, concepts of high-level nets and CPN.

Lom Hillah: PNML framework and tool support (invited talk).

1000-1030 Coffee break

1030-1230 Talk session II (Chair: Laure Petrucci)
Jan Martijn van der Werf: Practicing PNML (invited talk).

Joćo Paulo Barros and Luis Gomes: Towards a Human-Friendly Textual Language for Petri Nets (reviewed paper).

Jonathan Billington: ISO/IEC 15909-2: future perspectives (titel subject to change).

Summary of the morning session

1230-1400 Lunch break

1400-1500 Rump session (Chair: Ekkart Kindler)
The rump session is intended to be an informal session in which participants give short and presentations on recent ideas, work in progress, and other topics of interest to the standardisation of Petri nets. Presentations that are not purely technical in nature are also possible and encouraged!

Topics include:

  • Ideas for future directions of ISO 15909
  • Extensions such as modularity
  • Standard net types and their features, in particular stochastic Petri nets
  • Relation to other standards
  • Exchange of analysis and verification results
Please contact the PC chairs (PNstandard07@lipn.univ-paris13.fr), if you would like to give a short statement or presentation in the rump session.

1500-1530 Coffee break

1530-1730 Working session (Chair: Jonathan Billington)
This session is ment to actually work on open issues or future extensions of ISO/IEC 15909. Possible issues are
  • Update on progress at the ISO/IEC SC7 WG19 meeting in Moscow
  • Discussion ISO/IEC 15909-1, Addendum
  • Discussion of concepts to be included in Part 3 (Stochastic Petri nets, modularity, extension mechanism)
  • Future directions (exchange of analysis results)
  • Next steps, organizational issues and responsibilities

Major suggestions and issues should be sent to PC chairs (PNstandard07@lipn.univ-paris13.fr) in advance; this should help to prepare an efficient discussion. For the latest working drafts and some more material, see the Email Editing Meeting web site for ISO/IEC 15909 Part 2: http://wwwcs.uni-paderborn.de/cs/kindler/events/PNML-work/

Registration, Venue, and Accomodation

The workshop will be held in Siedlce, Poland, on June 26, 2007 as a satellite event of Petri Nets 2007. See the conference pages for more information on location and registration.

Program Committee

The submissions to the scientific part of the event were evaluated by a program committee. The members are: