Call for Papers and Announcement

Petri Nets 2008

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

Xi'an, China, June 23-27, 2008


Additional information about the conference will be published via
http://ictt.xidian.edu.cn/atpn-acsd2008

Contact e-mail: atpn2008@xidian.edu.cn

Important Dates:
Submission of Papers:January 5, 2008
Notification:March 1, 2008
Final Version Due:April 1, 2008
Tutorials & Workshops: June 23-24, 2008
Conference:June 25-27, 2008

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

The 29th annual international Petri Net conference and tutorials will be organised by the Institute of Computing Theory and Technology (ICTT), the Office for International Cooperation and Exchange at the Xidian University, Xi'an, China, and Petri Net Technical Committee, China. Papers presenting original contributions in any area of application and theory of Petri nets are sought. The language of the conference is English.

Topics

System design and verification using nets,
Analysis and synthesis, structure and behaviour of nets,
Relationships between net theory and other approaches,
Causality/partial order theory of concurrency,
Net-based semantical, logical and algebraic calculi,
Symbolic net representation (graphical or textual),
Computer tools for nets,
Experience with using nets, case studies,
Educational issues related to nets,
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 structures, telecommunications, railway networks, office automation, workflows, supervisory control, protocols and networks, Internet, e-commerce and trading, programming languages, performance evaluation, operations research.

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

Paper Submissions

Three kinds of papers can be submitted: Submissions for papers must: The title page must: Submissions received too late and submissions sent by fax or ordinary mail will be immediately rejected. The same will happen with papers which are not in English or exceed the page limit. Authors will be notified of acceptance/rejection by March 1, 2008.

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 the PC chairs no later than April 1, 2008. The page limit is 20 pages (10 pages for tool papers).

Program Committee Co-Chair
(Theory Papers)
Program Committee Co-Chair
(Application and Tool Papers)
Rüdiger Valk
University of Hamburg
Department of Computer Science
Vogt-Kölln-Str. 30
D-22527 Hamburg
Germany
Kees van Hee
Eindhoven University of Technology TU/e
Department of Mathematics and Computer Science
Room HG 7.74
Postbus 513
5600 MB Eindhoven
The Netherlands
Phone:+49 40 42883 2408
Fax:+49 40 42883 2246
E-mail: 
Phone:+31 40 2472733
Fax:+31 40 2463992
E-mail: 
 
Workshop and Tutorial Co-Chair Workshop and Tutorial Co-Chair
Jonathan Billington
School of Electrical and Information Engineering
University of South Australia
Mawson Lakes Campus
Mawson Lakes, SA, 5095
Australia
Maciej Koutny
Newcastle University
School of Computing Science
Claremont Road
Claremont Tower
Newcastle upon Tyne NE1 7RU
United Kingdom
Phone:+618 8302 3940
Fax:+618 8302 3384
E-mail: 
Phone:+44 191 222 7982
Fax:+44 191 222 8232
E-mail: 
 
Organising Committee Chair Tools Exhibition Chair
Zhenhua Duan
Director, Institute of Computing Theory and Technology (ICTT)
Xidian University
Xi'an
710071
China
Jianjun Qi
Institute of Computing Theory and Technology (ICTT)
Xidian University
Xi'an
710071
China
Phone:+86 (0)29 88202883
Fax:+86 (0)29 88202883
E-mail: 
Phone:+86 (0)29 88204723
Fax:+86 (0)29 88202883
E-mail: 
 
Publicity Chair
Bin Yu
Institute of Computing Theory and Technology (ICTT)
Xidian University
Xi'an
710071
China
Phone:+86 (0)29 88204723
Fax:+86 (0)29 88202883
E-mail: 

Tutorials and Workshops

The conference takes place Wednesday to Friday. The days before the conference also offer a large variety of Petri net activities.

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

We invite proposals for workshops and tutorials for the 2009 conference in Paris, France.

Tool Exhibition

A 2-3 hour exhibition of Petri net tools takes place Tuesday or Wednesday 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, 2008. They should include a link to the web pages for the tool (or a short description of the tool). The demonstrators usually bring their own machines, but the organisers may be requested to give access to the Internet.

Program Committee

K. Barkaoui, France
S. Bernardi, Italy
L. Bernardinello, Italy
E. Best, Germany
D. Buchs, Switzerland
J.M. Colom, Spain
R. Devillers, Belgium
Z. Duan, China
J.C.A. de Figueiredo, Brazil
G. Franceschinis, Italy
L. Gomes, Portugal
B. Haverkort, The Netherlands
K. van Hee, The Netherlands (co-chair)
C. Jard, France
C. Jiang, China
G. Juhas, Slovak Republic
P. Kemper, USA
E. Kindler, Denmark
V. Khomenko, UK
J. Kleijn, The Netherlands
F. Kordon, France
L.M. Kristensen, Denmark
C. Lakos, Australia
Z. Li, China
J. Lilius, Finland
C. Lin, China
R. Lorenz, Germany
J. Luo, China
T. Miyamoto, Japan
P. Moreaux, France
M. Mukund, India
W. Penczek, Poland
M. Pinna, Italy
Z. Shan, China
K. Tsuji, Japan
R. Valk, Germany (co-chair)
H. Völzer, Switzerland
K. Wolf, Germany
M. Zhou, USA

Steering Committee

W. van der Aalst, The Netherlands
J. Billington, Australia
G. Ciardo, USA
J. Desel, Germany
S. Donatelli, Italy
S. Haddad, France
K. Jensen, Denmark (chair)
H.C.M. Kleijn, The Netherlands
M. Koutny, UK
S. Kumagai, Japan
C.A. Petri, Germany (honorary member)
L. Pomello, Italy
W. Reisig, Germany
G. Rozenberg, The Netherlands
M. Silva, Spain
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


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 editors are:

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/east/home/computer/lncs?SGWID=5-164-6-417809-0) is published by Springer-Verlag as a journal subline in Lecture Notes in Computer Science (LNCS). The subseries replaces (and continues) the well known subseries called "Advances in Petri Nets". 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"), other papers invited for publication in ToPNoC, and papers submitted directly to ToPNoC by their authors. To get more information about ToPNoC please contact the editor-in-chief:

Advanced Courses on Petri Nets

These courses are organised periodically in order to present the progress in Petri net research and applications. Until now 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. A new course is being planned for 2010.

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:
http://www.informatik.uni-hamburg.de/TGI/PetriNets/meetings/pn2008/ Last modified: Sat June 23 2007