Call for Papers and Announcement Petri Nets 2009

30th INTERNATIONAL CONFERENCE ON APPLICATION AND THEORY OF
PETRI NETS AND OTHER MODELS OF CONCURRENCY

Paris, France, June 22-26, 2009

Additional information about the conference will be published via
http://PetriNet2009.lip6.fr

Contact e-mail: PetriNet2009@lip6.fr

The 30th annual international Petri Net conference and tutorials will be organised by the Université Pierre & Marie Curie together with CNAM, Université Evry-Val-d'Essone, Université Paris-Dauphine, Université Paris 12, Université Paris 13 and Telecom ParisTech (members of the MeFoSyLoMa group). Papers presenting original contributions in any area of application and theory of Petri nets are sought. The language of the conference is English.

Topics

• System design and verification using nets,
• Analysis and synthesis, structure and behaviour of nets,
• Relationships between net theory and other approaches,
• Causality/partial order theory of concurrency,
• Net-based semantical, logical and algebraic calculi,
• Symbolic net representation (graphical or textual),
• Computer tools for nets,
• Experience with using nets, case studies,
• Educational issues related to nets,
• Higher-level net models,
• Timed and stochastic nets,
• Standardisation of nets,
• Applications of nets to different kinds of systems and application fields, e.g.:

  flexible manufacturing systems, real-time systems, embedded systems, defence systems, biological systems, health and medical systems, environmental systems, hardware structures, telecommunications, railway networks,

  office automation, workflows, supervisory control, protocols and networks, Internet, e-commerce and trading, programming languages, performance evaluation, operations research.

The conference takes place under the auspices of EATCS and GI SIG "Petri Nets and Related System Models".

Paper Submissions

• Theory papers (max 20 pages).
• Application papers (max 20 pages). A typical application paper is a paper that describes one or more projects in which Petri net models and tools have been used in practice. An application paper may also describe a methodology, or other developments that demonstrate the applicability of Petri nets to industrial systems.
• Tool papers (max 10 pages). A typical tool paper is a paper which has its focus on the description of a computer tool for Petri Nets (not an application of the tool or the theory behind the tool). For more information on what a typical tool paper should contain, please see the document: ToolFormat.pdf. The tool should be available for use by other groups and it should be demonstrated in the Tool Exhibition.

• Contain original contributions that have not been published or submitted to other conferences/journals in parallel with this conference.
• Clearly state the problem being addressed, the goal of the work, the results achieved, and the relation to other work.
• Be in the Springer LNCS-format: http://www.springer.de/comp/lncs/authors.html.
• Have a length that does not exceed 20 pages (10 pages for tool papers).
• Be in English and in a form that can be immediately included in the proceedings without major revision.
• Be sent electronically (as a PostScript or PDF file) using the website http://senldogo0039.springer-sbm.com/pn2009/servlet/Conference no later than January 5, 2009.

• Contain a short abstract and a classification of the topics covered, preferably using the list of topics above.
• Clearly indicate whether the paper is submitted as a theory paper, an application paper, or a tool paper.

The proceedings will be published by Springer-Verlag in Lecture Notes in Computer Science. The final camera-ready version of accepted papers must be received by the PC chairs no later than April 1, 2009. The page limit is 20 pages (10 pages for tool papers).

Workshops and Tutorials

The Introductory Tutorial is offered to participants who have little or no prior experience with Petri nets. The talks give an overview of the area, and they will help new-comers to understand the basic ideas in many of the conference contributions. The Workshops and Advanced Tutorials are offered to those who already have some knowledge of Petri nets. They are divided into several strands covering different subjects. A detailed description of the tutorials and workshops will be available via the conference web pages.

Finally, it will be possible to arrange meetings for different groups, e.g., participants in international Petri net projects. It will also be possible to arrange small educational courses, e.g., with respect to some of the Petri net tools. Submissions for such activities must contain a 2-5 page description. They must be received by the PC-chairs no later than January 15, 2009.

We invite proposals for workshops and advanced tutorials:

• The purpose of workshops is to provide a setting to discuss technical issues and exchange research ideas in specific theoretical or application areas. We encourage a diversity of workshops related to Petri nets. Selected papers of the workshops will appear in a new subseries of LNCS entitled "Transactions on Petri Nets and other models of Concurrency" (ToPNoC).
• The purpose of tutorials is to introduce researchers to a new or emerging area or to provide deeper insight into a particular topic within Petri nets or related areas, ranging from theory to industrial applications. Tutorial levels may be introductory, intermediate, or advanced.
• Workshop proposals should be submitted before June 1 (one year before the workshop) and Advanced Tutorial proposals before January 5 (half a year before the tutorial), to the Workshop and Tutorial Committee (Wil van der Aalst, Jonathan Billington, and Susanna Donatelli).

Tool Exhibition

Organisation

Program Committee Co-Chair	Program Committee Co-Chair
Karsten Wolf University of Rostock Institute of Computer Science Schwaansche Strasse 2 D-18051 Rostock Germany	Giuliana Franceschinis Università del Piemonte Orientale Dipartimento di Informatica via Bellini 25/g I-15100 Alessandria Italy
Phone: +49 381 4987670 Fax: +49 381 4987642 E-mail:	Phone: +39 0131 360159 Fax: +39 0131 360198 E-mail:
Workshop and Tutorial Co-Chair	Workshop and Tutorial Co-Chair
Susanna Donatelli Università di Torino Dipartimento di Informatica Corso Svizzera 185 I-10149 Torino Italy	Maciej Koutny Newcastle University School of Computing Science Claremont Road Claremont Tower Newcastle upon Tyne NE1 7RU United Kingdom
Phone: +39 011 6706746 Fax: +39 011 751603 E-mail:	Phone: +44 191 222 7982 Fax: +44 191 222 8232 E-mail:
Organising Committee Chair	Tools Exhibition Chair
Fabrice Kordon Université Pierre & Marie Curie/LIP6 4 place Jussieu 75252 Paris Cedex 05 France	Laure Petrucci Université Paris XIII/LIPN 99 Avenue Jean-Baptiste Clément 93430 Villetaneuse France
Phone: +33 1 44 27 88 20 Fax: +33 1 44 27 74 95 E-mail:	Phone: +33 1 49 40 28 61 Fax: +33 1 48 26 07 12 E-mail:
Publicity Chair
Jean-Baptiste Voron Université Pierre & Marie Curie/LIP6 4 place Jussieu 75252 Paris Cedex 05 France Phone: +33 1 44 27 31 92 Fax: +33 1 44 27 74 95 E-mail:

Program Committee

K. Barkaoui, France S. Bernardi, Italy L. Bernardinello, Italy E. Best, Germany R. Bruni, Italy G. Ciardo, USA J. Desel, Germany R. Devillers, Belgium Z. Duan, China J.M. Fernandes, Portugal J.C.A. de Figueiredo, Brazil G. Franceschinis, Italy (co-chair) S. Haddad, France K. van Hee, The Netherlands R. Janicki, Canada G. Juhas, Slovak Republic J. Júlvez, Spain

E. Kindler, Denmark F. Kordon, France M. Koutny, UK L.M. Kristensen, Denmark C. Lakos, Australia J. Lilius, Finland T. Miyamoto, Japan M. Mukund, India W. Penczek, Poland L. Petrucci, France K. Tsuji, Japan R. Valk, Germany A. Valmari, Finland H. Völzer, Switzerland K. Wolf, Germany (co-chair) M. Zhou, USA

Steering Committee

History of the Conference

1. 1980 Strasbourg, France 2. 1981 Bad Honnef, Germany 3. 1982 Varenna, Italy 4. 1983 Toulouse, France 5. 1984 Aarhus, Denmark 6. 1985 Espoo, Finland 7. 1986 Oxford, UK 8. 1987 Zaragoza, Spain 9. 1988 Venice, Italy 10. 1989 Bonn, Germany 11. 1990 Paris, France 12. 1991 Aarhus, Denmark 13. 1992 Sheffield, UK 14. 1993 Chicago, USA 15. 1994 Zaragoza, Spain

16. 1995 Torino, Italy 17. 1996 Osaka, Japan 18. 1997 Toulouse, France 19. 1998 Lisbon, Portugal 20. 1999 Williamsburg, USA 21. 2000 Aarhus, Denmark 22. 2001 Newcastle upon Tyne, UK 23. 2002 Adelaide, Australia 24. 2003 Eindhoven, The Netherlands 25. 2004 Bologna, Italy 26. 2005 Miami, USA 27. 2006 Turku, Finland 28. 2007 Siedlce, Poland 29. 2008 Xi'an, China

Other Major Activities of the Petri Net Community

Petri Net Newsletter

Ekkart Kindler E-mail: eki@imm.dtu.dk URL: http://www2.imm.dtu.dk/~eki

Robert Lorenz E-mail: robert.lorenz@ku-eichstaett.de URL: http://www.informatik.ku-eichstaett.de/mitarbeiter/lorenz/index.html

Contributions should be sent to the editors. Deadlines are mid March and mid September. Further information as well as subscription forms can be obtained from the editors or from the Petri Net Newsletter web site: http://www.uni-paderborn.de/cs/kindler/PNNL.

Transactions on Petri Nets and Other Models of Concurrency (ToPNoC)

• Kurt Jensen
  E-mail: kjensen@daimi.au.dk
  URL: http://person.au.dk/en/kjensen@daimi.au.dk

Advanced Courses on Petri Nets

The next Advanced Course will take place in Rostock, Germany in September 2010. Karsten Wolf will be course director and head of the local organising committee while Wil van der Aalst, Gianfranco Balbo and Maciej Koutny will be scientific directors. More detailed information about the course will be available on the web page http://www.petrinet-summerschool.org.

Petri Net WWW and Petri Net Mailing

• Daniel Moldt and Frank Heitmann
  E-mail: petriadm@informatik.uni-hamburg.de
  URL: http://www2.informatik.uni-hamburg.de/tgi/PetriNets/

http://www2.informatik.uni-hamburg.de/tgi/PetriNets/meetings/pn2009/

Last modified: Fri May 23 2008