Call for Papers and Announcement
Additional information about the conference will be published via
http://www.daimi.au.dk/pn2000/
Contact e-mail: pn2000@daimi.au.dk
Important Dates: | |
---|---|
Submission of Papers
& Tool Presentations: Notification: Final Version Due: Tutorials: Conference: |
November 15, 1999 March 1, 2000 April 7, 2000 June 26-27, 2000 June 28-30, 2000 |
The 21st annual international Petri Net conference and tutorial will be organized by the Department of Computer Science at the University of Aarhus, Denmark. 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
Causality/partial order theory of concurrency Analysis and synthesis, structure and behaviour of nets Net-based semantical, logical and algebraic calculi Higher-level net models Timed and stochastic nets Relationships between net theory and other approaches Symbolic net representation (graphical or textual) Computer tools for nets Experience with using nets, case studies Educational issues related to nets |
Applications of nets to:
- office automation - work flows - flexible manufacturing - programming languages - protocols and interfaces - hardware structures - real-time systems - performance evaluation - operations research - embedded systems |
The conference takes place under the auspices of: AFCET SIG "Systèmes Parallèles et Distribués" and CNRS-PRS, AICA, BCS SIG "Formal Aspects of Computing Science", EATCS and GI SIG "Petri Nets and Related System Models".
Electronic submissions via e-mail are strongly encouraged. Please send a self-contained PostScript file which can be printed by any PostScript device. Authors who cannot comply with these instructions should send 6 paper copies. All submissions must be received no later than November 15, 1999.
Papers must be in English. The length of the paper cannot exceed 20 pages, and the paper should be in such a form that it can be immediately included in the proceedings without major revisions. The title page must contain a short abstract and a classification of the topics covered, preferably using the list of topics above. The paper must clearly state the problem being addressed, the goal of the work, the results achieved and the relation to other work. Submissions received too late and submissions sent by fax will not be accepted. Authors will be notified of acceptance/rejection by March 1, 2000.
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 Mogens Nielsen no later than April 7, 2000. The page limit is 20 pages. Authors should follow the instructions on: http://www.springer.de/comp/lncs/authors.html
Program Committee Co-Chair
(Theoretical Papers) |
Program Committee Co-Chair
(Application Papers) |
||||
---|---|---|---|---|---|
Mogens Nielsen
University of Aarhus Department of Computer Science Ny Munkegade, Bldg. 540 DK-8000 Aarhus C Denmark |
Dan Simpson
University of Brighton School of Computing and Mathematical Sciences Watts Building Moulsecoomb Brighton, BN2 4GJ England |
||||
|
|
||||
Organising Committee Chair | Tools Demonstration Chair | ||||
Kurt Jensen & Søren Christensen
Department of Computer Science University of Aarhus Aabogade 34 DK-8200 Aarhus N Denmark |
Kjeld H. Mortensen
Department of Computer Science University of Aarhus Aabogade 34 DK-8200 Aarhus N Denmark |
||||
|
|
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 included in the final program.
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 Mogens Nielsen or Dan Simpson before January 15, 2000.
A tool presentation must focus on the description of a computer tool for Petri Nets (not an application of the tool or the theory behind the tool). A rotation principle will be enforced. This means that the same tool cannot be presented year after year -- unless it has been significantly enhanced.
Submissions for Tool Presentations must be in English. The length of the presentation cannot exceed 10 pages, and it should be in such a form that it can be immediately included in the proceedings without major revisions. Submissions must be received by Dan Simpson before November 15, 1999. Electronic submissions via e-mail are strongly encouraged.
Submissions for tool demonstrations must contain a 2-5 page description. They must be received by Kjeld H. Mortensen before April 7, 2000.
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 |
W. van der Aalst, The Netherlands
G. Balbo, Italy L. Bernardinello, Italy E. Best, Germany J. Billington, Australia W. Brauer, Germany G. Ciardo, USA J. Colom, Spain L. Gomes, Portugal S. Haddad, France K. Hiraishi, Japan |
M. Nielsen, Denmark (co-chair; theory)
L. Ojala, Finland W. Penczek, Poland K. Schmidt, Germany S. Shatz, USA D. Simpson, UK (co-chair; applications) P.S. Thiagarajan, India R. Valette, France A. Valmari, Finland A. Yakovlev, UK W. Zuberek, Canada |
G. Balbo, Italy
J. Billington, Australia C. Girault, France K. Jensen, Denmark S. Kumagai, Japan G. De Michelis, Italy |
T. Murata, USA
C. A. Petri, Germany (honorary member) W. Reisig, Germany G. Roucairol, France G. Rozenberg, The Netherlands (chair) M. Silva, Spain |
Other Major Activities of the Petri Net Community
Jörg Desel
Peter Starke Rüdiger Valk |
(desel@aifb.uni-karlsruhe.de)
(starke@informatik.hu-berlin.de) (valk@informatik.uni-hamburg.de). |
Gesellschaft für Informatik e. V.
Wissenschaftszentrum Ahrstraße 45 D-53175 Bonn Germany |
Fax: +49 228 302 167
E-mail: gibonn@gmd.de |
Prof. G. Rozenberg
Leiden Institute of Advanced Computer Science Leiden University Niels Bohrweg 1 2333 CA Leiden The Netherlands |
Phone: +31 71 - 5 277061
Fax: +31 71 - 5 276985 E-mail: rozenber@wi.leidenuniv.nl |
Web:
E-mail: |
http://www2.informatik.uni-hamburg.de/tgi/PetriNets/
PetriNets-request@daimi.au.dk |