Call for Papers and Announcement
Petri Nets 2013
34th INTERNATIONAL CONFERENCE ON
APPLICATION AND THEORY OF
PETRI NETS AND CONCURRENCY
Milano, Italy, June 24–28, 2013


Additional information about the conference will be published via
http://www.mc3.disco.unimib.it/petrinets2013/

Contact e-mail: petrinets2013@disco.unimib.it
Important Dates:
Submission of Workshop Proposals: June 7, 2012
Submission of Tutorial Proposals: January 10, 2013
Submission of Papers: January 10, 2013
Notification: March 1, 2013
Final Version Due: April 1, 2013
Participation in Tool Exhibition: June 1, 2013
Workshops & Tutorials: June 24–25, 2013
Conference: June 26–28, 2013

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.


Galleria Vittorio Emanuele II
Unimib DISCo
GI-EATCS-AE logo Petri nets

The 34th annual international Petri Net conference will be organised by the Department of Computer Science, Systems and Communication (DISCo), University of Milano - Bicocca. 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.
Duomo
The Cathedral (il Duomo)


Cenacolo vinciano
The Last supper, by Leonardo da Vinci
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
Two kinds of papers can be submitted:

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.

Submitted papers must:

be contributions that have neither already been published nor are simultaneously being considered for publication in a peer-reviewed forum;
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 the above mentioned deadlines, using the website
http://www.easychair.org/conferences/?conf=petrinets2013.

The title page must:

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.

Authors will be notified about the outcome of the evaluation procedure by March 1, 2013. Submissions violating the above requirements may be immediately rejected by the PC Chairs.
Tool Exhibition
An exhibition of Petri net tools takes place on Wednesday. It consists of informal demonstrations for small groups/individuals, and there are no scheduled talks. Requests for participation in the tool exhibition must be sent to the Tool Exhibition Chair before June 1, 2013. They should include a link to the web pages for the tool (or a short description of the tool). The demonstrators bring their own machines, while the organisers may be requested to give access to the Internet.
Workshops and Tutorials
The conference takes place from Wednesday to Friday. The days before the conference also offer a wide range of activities.

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 (spam-protected email address) or Jörg Desel (spam-protected email address).

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, 2013.

Organisation
Program Committee Co-Chair Program Committee Co-Chair
José Manuel Colom
Dep.to Informática e Ingeniería de Sistemas
EINA - Universidad de Zaragoza
c. María de Luna, 1
50018 Zaragoza
Spain Jörg Desel
Fernuniversität in Hagen

IZ - Universitätstraße 1
58097 Hagen
Germany
Phone: +34 976 76 2351
Fax: +34 976 76 1914
E-mail: spam-protected email address

Phone: +49 2331 987 2609
Fax: +49 2331 987 317
E-mail: spam-protected email address

Workshop and Tutorial Co-Chair Workshop and Tutorial Co-Chair
Serge Haddad
LSV, CNRS & ENS de Cachan
61, avenue du Président Wilson
94235 CACHAN Cedex
France Alex Yakovlev
Newcastle University
School of Electrical, Electronic and Computer Engineering
Merz Court
Claremont Road Newcastle upon Tyne
NE1 7RU
United Kingdom
Phone: +33 (0)1 47 40 75 24
Fax: +33 (0)1 47 40 75 21
E-mail: spam-protected email address

Phone: +44 191-222-8184
Fax: +44 191-222-8180
E-mail: spam-protected email address

Organising Committee Chair Tool Exhibition Chair
Lucia Pomello
University of Milano - Bicocca
Department of Computer Science, Systems and Communication (DISCo)
Viale Sarca 336 - Edificio U14
20126 Milano
Italy Luca Bernardinello
University of Milano - Bicocca
Department of Computer Science, Systems and Communication (DISCo)
Viale Sarca 336 - Edificio U14
20126 Milano
Italy
Phone: +39 02 6448 7816
Fax: +39 02 6448 7839
E-mail: spam-protected email address

Phone: +39 02 6448 7872
Fax: +39 02 6448 7839
E-mail: spam-protected email address

Publicity Chairs
Luca Bernardinello
Lucia Pomello
University of Milano - Bicocca
Department of Computer Science, Systems and Communication (DISCo)
Viale Sarca 336 - Edificio U14
20126 Milano
Italy
Phone: +39 02 6448 7872 / +39 02 6448 7816
Fax: +39 02 6448 7839
E-mail: spam-protected email address
Unimib
University of Milano-Bicocca

Program Committee

H. Alla, France
M. Beccuti, Italy
J. Billington, Australia
J. Carmona, Spain
G. Ciardo, USA
J.M. Colom, Spain (co-chair)
P. Darondeau, France
J. Desel, Germany (co-chair)
R. Devillers, Belgium
Z. Duan, China
J. Esparza, Germany
M.P. Fanti, Italy
L. Gomes, Portugal
S. Haddad, France
H. Hansen, Singapore
K. Hiraishi, Japan
V. Khomenko, UK
E. Kindler, Denmark
H. Klaudel, France
J. Kleijn, The Netherlands
R. Lazic, UK
C. Lin, China
N. Lohmann, Germany
I. Lomazova, Russia
A. Miner, USA
L. Pomello, Italy
W. Reisig, Germany
C. Seatzu, Italy
C. Stahl, The Netherlands
S. Taoka, Japan
A. Valmari, Finland
M. Westergaard, The Netherlands
Steering Committee
W. van der Aalst, The Netherlands
J. Billington, Australia
G. Ciardo, USA
J. Desel, Germany
S. Donatelli, Italy
S. Haddad, France
K. Hiraishi, Japan
K. Jensen, Denmark
J. Kleijn, The Netherlands
F. Kordon, France M. Koutny, UK (chair)
C. Lin, China
W. Penczek, Poland
L. Pomello, Italy
W. Reisig, Germany
G. Rozenberg, The Netherlands
M. Silva, Spain
A. Valmari, Finland
A. Yakovlev, UK

History of the Conference

The aim of the conference is to create a forum for discussing progress in the application and theory of Petri nets. Typically, the conferences have 100–150 participants - some of these coming from industry, the rest from universities and research institutions. The conference takes place in the last week of June. The proceedings are published by Springer-Verlag as Lecture Notes in Computer Science (http://www.springer.de/comp/lncs/).
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
32. 2011 Newcastle upon Tyne, UK
33. 2012 Hamburg, Germany