Call for Papers

The 25th annual international Petri Net conference and tutorials will be organised by University of Bologna, Department of Computer Science. 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

Papers are solicited for the conference. They must be submitted electronically (as a postscript or PDF file) to the following URL: http://www.lsi.upc.es/events/icatpn04. Authors who cannot comply with these instructions should send 6 paper copies to one of the PC chairmen. All submissions must be received no later than November 15, 2003. 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 demonstrate the applicability of Petri nets to industrial systems.

Papers must be in English. Papers must be original contributions that have not been published previously, nor already submitted to other conferences in parallel with this conference. 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 revision. The title page must contain a short abstract and a classification of the topics covered. 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 be immediately rejected. The same will happen with papers which are not in English or exceed the page limit (with a reasonable font size). Authors will be notified of acceptance/rejection by March 1, 2004.

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 Wolfgang Reisig no later than April 1, 2003. The page limit is 20 pages. Authors should follow the instructions on:
http://www.springer.de/comp/lncs/authors.html.

Program Committee Co-Chair
(Theory Papers)
        Program Committee Co-Chair
(Application Papers)
Wolfgang Reisig
Humboldt-Universität zu Berlin
Institut für Informatik
Unter den Linden 6
D-10099 Berlin
Germany
Jordi Cortadella
Department of Software
Technical University of Catalonia
Campus Nord, Mòdul C5
Jordi Girona Salgado 1-3
08034 Barcelona
Spain
Phone: +49 30-2093-3065
Fax: +49 30-2093-3067
E-mail: 
Phone: +34 93-4017326
Fax: +34 93-4017014
E-mail: 
 
Organising Committee Chair Tools Demonstration Chair
Roberto Gorrieri
University of Bologna
Department of Computer Science
Mura Anteo Zamboni 7
40127 Bologna
Italy
Gianluigi Zavattaro
University of Bologna
Department of Computer Science
Mura Anteo Zamboni 7
40127 Bologna
Italy
Phone: +39 051 2094509
Fax: +39 051 2094510
E-mail: 
Phone: +39 051 2094876
Fax: +39 051 2094510
E-mail:  zavattar@cs.unibo.it

Program Committee

W. van der Aalst, The Netherlands
L. Bernardinello, Italy
D. Buchs, Switzerland
N. Busi, Italy
S. Christensen, Denmark
G. Ciardo, USA
J. Cortadella, Spain, co-chair (applications)
J. Desel, Germany
X. He, USA
H. Klaudel, France
H.C.M. Kleijn, The Netherlands
M. Koutny, UK
S. Kumagai, Japan
D.-I. Lee, Korea
J. Lilius, Finland
P. Moreaux, France
M. Mukund, India
C. Lakos, Australia
L. Recalde, Spain
W. Reisig, Germany, co-chair (theory)
W. Sanders, USA
P.S. Thiagarajan, Singapore
E. Vicario, Italy
H. Voelzer, Germany
A. Yakovlev, UK

Tools for Petri Nets

As part of 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.

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 revision. Submissions must be received before November 15, 2003. Electronic submission at the URL http://www.lsi.upc.es/events/icatpn04 is strongly encouraged.

Submissions for tool demonstrations must contain a 2-5 page description. They must be received by Gianluigi Zavattaro before April 1, 2003. Participants wishing to demonstrate tools are encouraged to bring their own machines, as only a limited number of local machines will be available for this purpose, with limited support for installation.

Important Dates:
Submission of Papers
& Tool Presentations:
November 15, 2003
Notification: March 1, 2004
Final Version Due: April 1, 2004
Tutorials: June 21-22, 2004
Conference: June 23-25, 2004

The Full Call for Papers may be accessed at:
http://www.daimi.au.dk/PetriNets/meetings/pn2004/