Call for Papers and Announcement

Petri Nets 2012

33rd INTERNATIONAL CONFERENCE ON
APPLICATION AND THEORY OF
PETRI NETS AND CONCURRENCY

Hamburg, Germany, June 25–29, 2012

Additional information about the conference will be published via
http://www2.informatik.uni-hamburg.de/tgi/events/pn2012/

Contact e-mail: PetriNets2012@informatik.uni-hamburg.de

The conference will be co-located with the
12th International Conference on
Application of Concurrency to System Design (ACSD 2012).

Download Call for Papers as PDF:
CfP (4 pages), CfP (2 pages)

Important Dates:
Submission of Workshop Proposals:	June 7, 2011
Submission of Tutorial Proposals:	January 10, 2012
Submission of Papers:	January 10, 2012
Notification:	March 1, 2012
Final Version Due:	April 1, 2012
Participation in Tool Exhibition:	June 1, 2012
Workshops & Tutorials:	June 25–26, 2012
Conference:	June 27–29, 2012

The deadline for submission of papers is STRICT.
However, if you submit the title page by January 10
it is sufficient to submit the full paper by January 15.

Some of the best papers accepted for the conference will be invited as
submissions to a special issue of the Fundamenta Informaticae journal.

The 33rd annual international Petri Net conference will be organised by the Theoretical Foundations of Computer Science Group, Department of Informatics, University of Hamburg and HITeC. The conference takes place under the auspices of the Academia Europaea, EATCS, and GI SIG "Petri Nets and Related System Models". 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.

Photo: www.mediaserver.hamburg.de/T. Hampel

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
• Experience reports describing 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 papers describing the experiences from applications of Petri Nets, 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 10, 2012 using the website
  http://www.easychair.org/conferences/?conf=petrinets2012.

• 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 from Sunday to 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 () or Jörg Desel ().

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 10, 2012.

Organisation

Program Committee Co-Chair	Program Committee Co-Chair
Serge Haddad LSV, CNRS & ENS de Cachan 61, avenue du Président Wilson 94235 CACHAN Cedex France	Lucia Pomello University of Milano - Bicocca Department of Computer Science, Systems and Communication (DISCo) Viale Sarca 336 - Edificio U14 20126 Milano Italy
Phone: +33 (0)1 47 40 75 24 Fax: +33 (0)1 47 40 75 21 E-mail:	Phone: +39 02 6448 7816 Fax: +39 02 6448 7839 E-mail:
Workshop and Tutorial Co-Chair	Workshop and Tutorial Co-Chair
Alex Yakovlev Newcastle University School of Electrical, Electronic and Computer Engineering Merz Court Claremont Road Newcastle upon Tyne NE1 7RU United Kingdom	Wil van der Aalst Eindhoven University of Technology Department of Mathematics and Computer Science PO Box 513 NL-5600 MB Eindhoven The Netherlands
Phone: +44 191-222-8184 Fax: +44 191-222-8180 E-mail:	Phone: +31 40 247.4295/2733/2290 Fax: +31 40 246.3992 E-mail:
Organising Committee Chair	Tools Exhibition Chair
Daniel Moldt University of Hamburg Theoretical Foundations of Informatics Vogt-Kölln-Strasse 30 Hamburg, 22527 Germany	Lawrence Cabac University of Hamburg Theoretical Foundations of Informatics Vogt-Kölln-Strasse 30 Hamburg, 22527 Germany
Phone: +49 (0)40 42883 2247 Fax: +49 (0)40 42883 2246 E-mail:	Phone: +49 (0)40 42883 2237 Fax: +49 (0)40 42883 2246 E-mail:
Publicity Chairs
Michael Duvigneau Thomas Wagner University of Hamburg Theoretical Foundations of Informatics Vogt-Kölln-Strasse 30 Hamburg, 22527 Germany Phone: +49 (0)40 42883 2236 Fax: +49 (0)40 42883 2246 E-mail:	Photo: www.mediaserver.hamburg.de, C. Spahrbier

Program Committee

Steering Committee

History of the Conference

Other Major Activities of the Petri Net Community

Petri Net Newsletter

• Robert Lorenz
  E-mail:
  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:
  Web: http://person.au.dk/en/kjensen@cs

Advanced Courses on Petri Nets

Petri Net WWW and Petri Net Mailing

• Daniel Moldt and Matthias Wester-Ebbinghaus and Thomas Wagner
  E-mail:
  Web: http://www2.informatik.uni-hamburg.de/tgi/PetriNets/

Impressum	Last modified: Thu Jun 23 2011