Call for Papers and Announcement
Additional information about the conference will be published via
http://ictt.xidian.edu.cn/atpn-acsd2008
Contact e-mail: atpn2008@xidian.edu.cn
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.
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".
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 |
||||||||||||
|
|
||||||||||||
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 |
||||||||||||
|
|
||||||||||||
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 |
||||||||||||
|
|
||||||||||||
Publicity Chair | |||||||||||||
Bin Yu
Institute of Computing Theory and Technology (ICTT) Xidian University Xi'an 710071 China |
|||||||||||||
|
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.
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 |
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 |
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
|
|
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.
http://www2.informatik.uni-hamburg.de/tgi/PetriNets/meetings/pn2008/ | Last modified: Sat June 23 2007 |