Call for Papers and Announcement

Petri Nets 2005

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

Miami, Florida, June 20-25, 2005

Additional information about the conference will be published via
http://www.cs.fiu.edu/atpn2005/

Contact e-mail: atpn2005@cs.fiu.edu

The 26th annual international Petri Net conference and tutorials will be organised by Florida International University, School of Computer Science. Papers presenting original contributions in any area of application and theory of Petri nets are sought. The language of the conference is English.

Topics

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

Paper Submissions

• 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.
• 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://sttt.cs.uni-dortmund.de/atpn05/servlet/Conference no later than November 15, 2004.

• 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 both. 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 tool, a methodology, or other developments that demonstrate the applicability of Petri nets to industrial systems.

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 Philippe Darondeau no later than April 1, 2005. The page limit is 20 pages.

Program Committee Co-Chair (Theory Papers)	Program Committee Co-Chair (Application Papers)
Philippe Darondeau IRISA Campus de Beaulieu F-35042 Rennes Cedex France	Gianfranco Ciardo Department of Computer Science and Engineering University of California, Riverside 310 Surge Building Riverside, CA 92521 USA
Phone: +33 2-99-84-72-80 Fax: +33 2-99-84-71-71 E-mail:	Phone: +1 909-787-2281 Fax: +1 909-787-4643 E-mail:
Organising Committee Chair	Tools Demonstration Chair
Xudong He Florida International University School of Computer Science University Park Miami, FL 33199 USA	Shu-Ching Chen Florida International University School of Computer Science University Park Miami, FL 33199 USA
Phone: +1 305-348-1831 Fax: +1 305-348-3549 E-mail:	Phone: +1 305-348-3480 Fax: +1 305-348-3549 E-mail:

Tutorials and Workshops

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 Advanced Tutorials and Workshops 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 one of the PC-chairs no later than January 15, 2005.

Tools for Petri Nets

Submissions for tool presentations must:

• Focus on the description of a computer tool for Petri Nets (not an application of the tool or the theory behind the tool).
• Be in the Springer LNCS-format: http://www.springer.de/comp/lncs/authors.html.
• Have a length that does not exceed 10 pages.
• 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://sttt.cs.uni-dortmund.de/atpn05/servlet/Conference no later than November 15, 2004.

• Be in English and contain a 3-10 pages description of the tool.
• Be received by the tool demonstration chair Shu-Ching Chen no later than April 1, 2005.

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

Other Major Activities of the Petri Net Community

Petri Net Newsletter

• Gabriel Juhas
  E-mail: gabriel.juhas@ku-eichstaett.de
  URL: http://www.informatik.ku-eichstaett.de/juhas/

• Ekkart Kindler
  E-mail: kindler@uni-paderborn.de
  URL: http://www.uni-paderborn.de/cs/kindler

Advances in Petri Nets

• Grzegorz Rozenberg
  E-mail: rozenber@liacs.nl
  URL: http://www.liacs.nl/~rozenber/

Advanced Courses on Petri Nets

Petri Net WWW and Petri Net Mailing Group

• Kjeld H. Mortensen
  E-mail: petrinet-owner@informatik.uni-hamburg.de
  URL: http://www2.informatik.uni-hamburg.de/tgi/PetriNets/