Call for Papers and Announcement Petri Nets 2011

32nd INTERNATIONAL CONFERENCE ON
APPLICATION AND THEORY OF
PETRI NETS AND CONCURRENCY

Kanazawa, Japan, June 20-24, 2011

Additional information about the conference will be published via
http://www.jaist.ac.jp/acsd-petrinets2011/

Contact e-mail: petrinets2011@jaist.ac.jp

The 32nd annual international Petri Net conference will be organised by the Japan Advanced Institute of Science and Technology. The conference takes place under the auspices of the Academia Europaea, EATCS, and GI SIG "Petri Nets and Related System Models". It is sponsored by IEEE Computer Society, Japan Chapter, IEICE ESS, and SICE. The language of the conference is English, and its proceedings will be published by Springer-Verlag in Lecture Notes in Computer Science. All accepted papers will be considered for the "Outstanding Paper" award(s). Papers presenting original research on application or theory of Petri nets, as well as contributions addressing topics relevant to the general field of distributed and concurrent systems are sought.

Topics specific to Petri Nets

• System design using nets,
• Analysis and synthesis, structure and behaviour of nets,
• Relationships between Petri Nets and other approaches,
• Net-based semantical, logical and algebraic calculi,
• Symbolic net representation (graphical or textual),
• Computer tools for nets,
• Experience with using nets, case studies,
• 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, telecommunications, railway networks,

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

General topics related to concurrency

• Model checking and verification of distributed systems,
• Verification of infinite-state or parametric systems,
• Causality/partial order theory of concurrency,
• Educational issues related to concurrency,
• New issues and developments in the theory of concurrency,
• Modelling of hardware and biological systems.

Paper Submissions

• Regular papers (max 20 pages) describing original results pertaining to the development of the theory of Petri Nets and distributed and concurrent systems in general, new results extending the applicability of Petri Nets, or case studies, application and experience reports pertinent to the practical use of Petri Nets and concurrency. For application-oriented papers, authors are encouraged to consult the document: ApplicationFormat.pdf.
• Tool papers (max 10 pages) describing a computer tool based on Petri Nets (not an application of the tool or the theory behind the tool). For more information, please see the document: ToolFormat.pdf. The tool should be available for use by other groups (but not necessarily for free). The submission should indicate how the reviewers can get access to the tool (this must be for free). The tool will be demonstrated in the Tool Exhibition, in addition to being presented in a conference talk.

• Be contributions that have not been published or submitted to other conferences/journals before or 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 English and in the Springer LNCS-format:
  http://www.springer.de/comp/lncs/authors.html.
• Adhere to the page limit for the relevant category (see above).
• Be sent electronically (as a PDF file) no later than January 5, 2011 using the website
  http://www.easychair.org/conferences/?conf=petrinets2011.

• 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 regular paper or tool paper.

Tool Exhibition

Workshops and Tutorials

The Petri Net Course takes place Sunday, Monday, and Tuesday. It offers a thorough introduction to Petri Nets and consists of four parts: Basic Net Classes, Coloured Petri Nets, Timed and Stochastic Petri Nets, and Applications of Petri Nets. If all four parts are followed, 3 ECTS credit points can be awarded to a participant. For further information please contact Jetty Kleijn (kleijn@liacs.nl) or Jörg Desel (joerg.desel@ku-eichstaett.de).

The Workshops and Advanced Tutorials take place on Monday and Tuesday. A detailed description of the tutorials and workshops will be available via the conference web pages.

It is also possible to arrange Meetings and Courses related to Petri Nets. Submissions for such activities must contain a 2-5 page description. They must be received by the PC-chairs no later than January 5, 2011.

Organisation

Program Committee Co-Chair	Program Committee Co-Chair
Laure Petrucci LIPN, CNRS UMR 7030 Université Paris 13 99 avenue Jean-Baptiste Clément 93430 Villetaneuse France	Lars M. Kristensen Department of Computer Engineering Faculty of Engineering Bergen University College Nygaardsgaten 112, Postbox 7030, 5020 Bergen, Norway
Phone: +33 1 4940 2861, +33 1 4940 3741 Fax: +33 1 4826 0712 E-mail:  laure.petrucci@lipn.univ-paris13.fr	Phone: +47 55 58 71 64 Fax: +47 55 58 77 90 E-mail:  lmkr@hib.no
Workshop and Tutorial Co-Chair	Workshop and Tutorial Co-Chair
Jetty Kleijn Leiden University Leiden Institute of Advanced Computer Science Niels Bohrweg 1 2333 CA Leiden The Netherlands	Wil van der Aalst Eindhoven University of Technology Department of Mathematics and Computer Science PO Box 513 NL-5600 MB Eindhoven The Netherlands
Phone: +31 71 5277064 Fax: +31 71 5276985 E-mail:  kleijn@liacs.nl	Phone: +31 40 247.4295/2733/2290 Fax: +31 40 246.3992 E-mail:  w.m.p.v.d.aalst@tue.nl
Organising Committee Chair	Tools Exhibition Chair
Kunihiko Hiraishi Japan Advanced Institute of Science and Technology School of Information Science 1-1 Asahidai Nomi-shi Ishikawa, 923-1292 Japan	Satoshi Yamane Kanazawa University College of Science and Engineering Kakuma Kanazawa Ishikawa, 920-1192 Japan
Phone: +81 761 51 1281 Fax: +81 761 51 1149 E-mail:  hira@jaist.ac.jp	Phone: +81 76 234 4856 Fax: +81 76 234 4900 E-mail:  syamane@is.t.kanazawa-u.ac.jp
Publicity Chair
Koichi Kobayashi Japan Advanced Institute of Science and Technology School of Information Science 1-1 Asahidai Nomi-shi Ishikawa, 923-1292 Japan Phone: +81 761 51 1282 Fax: +81 761 51 1149 E-mail:  k-kobaya@jaist.ac.jp

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 30. 2009 Paris, France 31. 2010 Braga, Portugal

Other Major Activities of the Petri Net Community

Petri Net Newsletter

• Robert Lorenz
  E-mail: robert.lorenz@informatik.uni-augsburg.de
  Web: http://www.informatik.uni-augsburg.de/lehrstuehle/inf/mitarbeiter/lorenz/

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

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

Advanced Courses on Petri Nets

Petri Net WWW and Petri Net Mailing

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