Call for Papers and Announcement

20th INTERNATIONAL CONFERENCE ON
APPLICATION AND THEORY OF PETRI NETS

Williamsburg, Virginia, USA, June 21-25, 1999


Additional information about the conference will be published via
http://www.cs.wm.edu/pn99/

Important Dates:
Paper Submission Due:
Notification:
Final Version Due:
Tutorials:
Conference: 		November 16, 1998
March 1, 1999
April 7, 1999
June 21-22, 1999
June 23-25, 1999

The 20th annual international Petri Net conference and tutorial will be organized by the Department of Computer Science of The College of William and Mary, Williamsburg, Virginia. 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
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".

Paper Submissions

Papers are solicited for the conference. The conference has two co-chairs. Theoretical papers should be sent to H.C.M. Kleijn, while application papers should be sent to Susanna Donatelli. Papers on the boundary of theory and application may be submitted to either co-chair. The title page must clearly indicate whether the paper is submitted as a theory paper, an application paper or both. A typical application paper is a paper which describes one or more projects in which Petri net models and tools have been used in practice. An application paper may also describe a tool, a methodology, or other developments that make Petri nets more applicable in practice.

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 16, 1998.

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

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 Susanna Donatelli no later than April 7, 1999. 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)
H.C.M. Kleijn
Leiden University
Dept. of Computer Science
P.O.Box 9512
NL-2300 RA Leiden
The Netherlands 		Susanna Donatelli
Dipartimento di Informatica
Universita di Torino
Corso Svizzera 185
I-10149 Torino
Italy
Phone:
Fax:
E-mail:		 +31 71 5277064
+31 71 5276985
kleijn@wi.leidenuniv.nl
Phone:
Fax:
E-mail:		 +39 11 7712002
+39 11 751603
susi@di.unito.it
 
Organising Committee Chair Tools Demonstration Chair
Gianfranco Ciardo
College of William and Mary
Department of Computer Science
P.O. Box 8795
Williamsburg, VA 23187-8795
USA 		Evgenia Smirni
College of William and Mary
Department of Computer Science
P.O. Box 8795
Williamsburg, VA 23187-8795
USA
Phone:
Fax:
E-mail:		 +1 757-221-3478
+1 757-221-1717
ciardo@cs.wm.edu
Phone:
Fax:
E-mail:		 +1 757-221-3580
+1 757-221-1717
esmirni@cs.wm.edu

Tutorials

The conference takes place Wednesday to Friday. However, the preceding Monday and Tuesday 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 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 H.C.M. Kleijn or Susanna Donatelli before January 15, 1999.

Tools for Petri Nets

During the conference, there will be an Exhibition of Computer Tools for Petri nets together with a limited number of tool presentations, i.e., talks about tools. Submissions for tool presentations must contain a 5-10 page description. They must be received by Susanna Donatelli before November 16, 1998.

Submissions for tool demonstrations must contain a 2-5 page description. They must be received by Evgenia Smirni before April 7, 1999.

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 150-200 participants - one third 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

Program Committee

W. van der Aalst, The Netherlands
P. Azema, France
W. Brauer, Germany
S. Christensen, Denmark
A. Desrochers, U.S.A.
S. Donatelli, Italy (co-chair)
C. Girault, France
L. Gomes, Portugal
J. Hillston, United Kingdom
E. Kindler, Germany
H.C.M. Kleijn, The Netherlands (co-chair)
S. Kumagai, Japan
C. Lakos, Australia
A. Levis, U.S.A.
J. Lilius, Finland 		T. Murata, U.S.A.
G. Nutt, U.S.A.
K. Onaga, Japan
W. Penczek, Poland
L. Pomello, Italy
W. Sanders, U.S.A.
M. Silva, Spain
D. Simpson, United Kingdom
P.S. Thiagarajan, India
K. Trivedi, U.S.A.
R. Valette, France
R. Valk, Germany
A. Yakovlev, United Kingdom
W. Zuberek, Canada

Steering Committee

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

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 short research articles, surveys and state-of-the-art reports, announcements, programs and reports of meetings, thesis and new books, abstracts of recent publications, etc. The editors are:
Jörg Desel
Peter Starke
Rüdiger Valk 		(desel@aifb.uni-karlsruhe.de)
(starke@informatik.hu-berlin.de)
(valk@informatik.uni-hamburg.de).
Contributions should be sent to one of the editors. Deadlines are the end of March and the end of September. Subscription forms can be ordered from the first editor. Subscription forms (and former issues) can also be ordered via fax, mail or e-mail from the following address:
Gesellschaft für Informatik e. V.
Wissenschaftszentrum
Ahrstraße 45
D-53175 Bonn
Germany 		Fax: +49 228 302 167
E-mail: gibonn@gmd.de

Advances in Petri Nets

Advances in Petri Nets This series is published by Springer-Verlag as Lecture Notes in Computer Science (http://www.springer.de/comp/lncs/). The volumes are edited by G. Rozenberg. The intention of this series is to present the most significant recent results in the application and theory of Petri Nets to the broad computer science community. Each volume of Advances is devoted to a specific research area. To get more information about Advances please contact:
Prof. G. Rozenberg
Dept. of Computer Science
Leiden University
P.O. Box 9512, NL-2300 Leiden
The Netherlands 		Phone: +31 71 527 7067/63
Fax: +31 71 527 6985
E-mail: rozenber@wi.leidenuniv.nl

Advanced Courses on Petri Nets

These courses are organised periodically in order to present the progress in Petri nets in a systematic way. Until now there have been three courses: Hamburg 1979, Bad Honnef 1986 and Dagstuhl 1996. The material from the courses are published by Springer-Verlag as Lecture Notes in Computer Science.

Petri Net WWW and Petri Net Mailing Group

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 CPN group at University of Aarhus, Denmark. More information can be obtained at the following addresses:
URL:
E-mail: 		http://www2.informatik.uni-hamburg.de/tgi/PetriNets/
PetriNets-request@daimi.au.dk
Last modified: Fri May 22 11:00:02 1998 -- Petri Nets Web Masters
http://www2.informatik.uni-hamburg.de/tgi/PetriNets/annce/icatpn99/