Petri Nets 2011 - Petri Nets 2011 32nd INTERNATIONAL CONFERENCE ON APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY

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-AT-jaist.ac.jp

The conference will be co-located with the
11th International Conference on
Application of Concurrency to System Design (ACSD 2011).
Important Dates:
Submission of Papers: January 5, 2011
Notification: March 1, 2011
Final Version Due: April 1, 2011
Participation in Tool Exhibition: June 1, 2011
Workshops & Tutorials: June 20-21, 2011
Conference: June 22-24, 2011
The deadline for submission of papers is STRICT.
However, if you submit the title page by January 5
it is sufficient to submit the full paper by January 10.
Some of the best papers accepted for the conference will be invited as
submissions to a special issue of the Fundamenta Informaticae journal.

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

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 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.
Submitted papers must:
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=petrine....
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, 2011. Submissions violating the above requirements may be immediately rejected by the PC Chairs.
Tool Exhibition

An exhibition of Petri net tools takes place on Tuesday or Wednesday afternoon/evening. 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, 2011. 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 Wednesday to Friday. The days before the conference also offer a wide range of activities.
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-AT-liacs.nl) or Jörg Desel (joerg.desel-AT-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-AT-lipn.univ-paris13.fr
Phone: +47 55 58 71 64
Fax: +47 55 58 77 90
E-mail: lmkr-AT-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-AT-liacs.nl
Phone: +31 40 247.4295/2733/2290
Fax: +31 40 246.3992
E-mail: w.m.p.v.d.aalst-AT-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-AT-jaist.ac.jp
Phone: +81 76 234 4856
Fax: +81 76 234 4900
E-mail: syamane-AT-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-AT-jaist.ac.jp

Program Committee

G. Balbo, Italy
M. Bednarczyk, Poland
J. Billington, Australia
M. Bonsangue, The Netherlands
D. Buchs, Switzerland
J. Carmona, Spain
P. Chrzastowski-Wachtel, Poland
G. Ciardo, USA
J.M. Colom, Spain
J. Desel, Germany
R. Devillers, Belgium
J. Esparza, Germany
D. Fahland, Germany
Q.W. Ge, Japan
A. Giua, Italy
L. Gomes, Portugal
S. Haddad, France
M. Heiner, Germany K. Hiraishi, Japan
R. Janicki, Canada
E. Kindler, Denmark
L.M. Kristensen, Norway (co-chair)
J. Lilius, Finland
C. Lin, China
D. Moldt, Germany
M. Mukund, India
W. Penczek, Poland
L. Petrucci, France (co-chair)
L. Pomello, Italy
O-H. Roux, France
N. Sidorova, The Netherlands
S. Taoka, Japan
V. Valero, Spain
A. Valmari, Finland
A. Yakovlev, UK
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 (chair)
J. Kleijn, The Netherlands
M. Koutny, UK C. Lin, China
W. Penczek, Poland
C.A. Petri, Germany (honorary member)
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
Other Major Activities of the Petri Net Community

Petri Net Newsletter

The newsletter is published twice a year by the Special Interest Group on Petri Nets and Related System Models of the Gesellschaft für Informatik. It contains refereed articles, surveys and state-of-the-art reports. Moreover, it contains work-in-progress papers, all kinds of announcements, programs and reports on meetings and activities, information on theses and new books, and abstracts of recent publications. The executive editor is:
Robert Lorenz
E-mail: robert.lorenz-AT-informatik.uni-augsburg.de
Web: http://www.informatik.uni-augsburg.de/lehrstuehle/...
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)

ToPNoC (http://www.springer.com/lncs/topnoc) is published by Springer-Verlag as a journal subline in Lecture Notes in Computer Science (LNCS). ToPNoC contains: revised versions of some of the best papers from workshops and tutorials at the annual Petri net conferences, special sections/issues within particular subareas (like some of those which have been published as volumes in "Advances in Petri Nets"), and papers submitted directly to ToPNoC by their authors. To get more information about ToPNoC please contact the editor-in-chief:
Kurt Jensen
E-mail: kjensen-AT-cs.au.dk
Web: http://person.au.dk/en/kjensen-AT-cs
Advanced Courses on Petri Nets

These courses are organised periodically in order to present the progress in Petri net research and applications. The fifth Advanced Course takes place in Rostock, Germany, September 13-24, 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. Previously there have been four courses: Hamburg 1979, Bad Honnef 1986, Dagstuhl 1996 and Eichstätt 2003. The material from the courses is published by Springer-Verlag as Lecture Notes in Computer Science.

Petri Net WWW and Petri Net Mailing

These electronic services are used to disseminate announcements, questions, bibliographies, tool information, addresses, and all other kinds of Petri net related information. The services are maintained by the TGI group at University of Hamburg, Germany. More information can be obtained at the following addresses:
Daniel Moldt and Frank Heitmann
E-mail: petriadm-AT-informatik.uni-hamburg.de
Web: http://www.informatik.uni-hamburg.de/TGI/PetriNets...
Impressum