Call for Papers and Announcement
Petri Nets 2006
27th INTERNATIONAL CONFERENCE ON APPLICATION AND THEORY OF
PETRI NETS AND OTHER MODELS OF CONCURRENCY
Turku, Finland, June 26-30, 2006
Additional information about the conference will be published via
http://www.cs.abo.fi/atpn2006/
Contact e-mail: atpn2006@abo.fi
In 2006 the Petri Nets conference is co-located with the
ACSD'06.
| Important Dates: |
|---|
Submission of Papers
& Tool Presentations: | November 15, 2005 |
| Notification: | March 1, 2006 |
| Final Version Due: | April 1, 2006 |
| Tutorials & Workshops: | June 26-27, 2006 |
| Conference: | June 28-30, 2006 |
The deadline for submission of papers and tool presentations is STRICT.
However, if you submit the title page before Nov. 15 it is sufficient to
submit the full paper/tool presentation before Nov. 22. The title page
must contain a short abstract, classification of the paper, and tell whether
it is a theory paper, application paper, or tool presentation.
The 27th annual international Petri Net conference and tutorials will
be organised by
Åbo Akademi University, 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
Submissions for papers must:
- Contain original contributions that have not been published or
submitted to other conferences/journals in parallel with this
conference.
- Clearly state the problem being addressed, the goal of the work,
the results achieved, and the relation to other work.
- Be in the Springer LNCS-format: http://www.springer.de/comp/lncs/authors.html.
- Have a length that does not exceed 20 pages.
- Be in English and in a form that can be immediately included in
the proceedings without major revision.
- Be sent electronically (as a PostScript or PDF file) using the
website http://sttt.cs.uni-dortmund.de/atpn06/servlet/Conference
no later than November 15, 2005.
The title page must:
- Contain a short abstract and a classification of the topics covered,
preferably using the list of topics above.
- Clearly indicate whether the paper is submitted as a theory
paper, an application paper, or both. A typical application
paper is a paper that 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.
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. Authors will be notified of
acceptance/rejection by
March 1, 2006.
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 P. S. Thiagarajan no later than
April 1, 2006.
The page limit is 20 pages.
Program Committee Co-Chair
(Theory Papers)
|
Program Committee Co-Chair
(Application Papers)
|
P. S. Thiagarajan
School of computing, NUS
3 Science Drive 2
Singapore 117543
|
Susanna Donatelli
Università degli Studi di Torino
Dipartimento di Informatica
Corso Svizzera 185
I-10149 Torino
Italy
|
| Phone: | +65-6874 7998 |
| Fax: | +65-6779 4580 |
| E-mail: |  |
|
| Phone: | +39 011 6706746 |
| Fax: | +39 011 751603 |
| E-mail: |  |
|
| |
|---|
| Organising Committee Chair |
Tools Exhibition Chair |
Johan Lilius
Åbo Akademi University
Department of Computer Science
Lemminkäinengatan 14 A
FIN-20540 Turku
FINLAND
|
Jerker Björkqvist
Åbo Akademi University
Department of Computer Science
Lemminkäinengatan 14 A
FIN-20540 Turku
FINLAND
|
| Phone: | +358 40 5440741 |
| Fax: | +358 2 215 4732 |
| E-mail: |  |
|
| Phone: | +358 2 215 3348 |
| Fax: | +358 2 215 4732 |
| E-mail: |  |
|
Tutorials and Workshops
The conference takes place Wednesday to Friday. However, the
surrounding days 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, 2006.
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. For tool presentations 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:
- Focus on the description of a computer tool for Petri Nets (not an
application of the tool or the theory behind the tool).
- Be in the Springer LNCS-format: http://www.springer.de/comp/lncs/authors.html.
- Have a length that does not exceed 10 pages.
- Be in English and in a form that can be immediately included in
the proceedings without major revision.
- Be sent electronically (as a PostScript or PDF file) using the
website http://sttt.cs.uni-dortmund.de/atpn06/servlet/Conference
no later than November 15, 2005.
There will be a tool exhibition Wednesday evening
18.00-20.30 combined with a small reception. The
tool exhibition replaces the tool demonstrations
which usually have taken place the entire week.
Requests for participation in the tool exhibition
must be in English. They are sent to the Tool
Exhibition chair Jerker Björkqvist before May 15.
They must 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.
The conference web pages will contain a list of
all tools in the tool exhibition with links to
their home pages. The individual demonstrators
are allowed to bring their own material for
distribution during the tool exhibition.
Program Committee
J. Billington, Australia
D. Buchs, Switzerland
N. Busi, Italy
G. Ciardo, USA
J.M. Colom, Spain
P. Darondeau, France
S. Donatelli, Italy (co-chair, applications)
G. Franceschinis, Italy
B. Haverkort, The Netherlands
X. He, USA
K. van Hee, The Netherlands
M. Heiner, Germany
J. Hillston, UK
K. Hiraishi, Japan
P. Jancar, Czech Republic
|
G. Juhas, Germany
M. Koutny, UK
L.M. Kristensen, Denmark
J. Lilius, Finland
M. Mukund, India
W. Penczek, Poland
L. Petrucci, France
L. Pomello, Italy
L. Recalde, Spain
K. Schmidt, Germany
P.S. Thiagarajan, Singapore (co-chair, theory)
T. Ushio, Japan
R. Valk, Germany
F. Vernadat, France
|
Steering Committee
W. van der Aalst, The Netherlands
J. Billington, Australia
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
T. Murata, USA
C.A. Petri, Germany (honorary member)
L. Pomello, Italy
W. Reisig, Germany
G. Rozenberg, The Netherlands
M. Silva, Spain
|
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/authors.html).
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
|
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:
- Gabriel Juhas
E-mail: gabriel.juhas@ku-eichstaett.de
URL: http://www.informatik.ku-eichstaett.de/juhas/
- Ekkart Kindler
E-mail: kindler@uni-paderborn.de
URL: http://www.uni-paderborn.de/cs/kindler
Contributions should be sent to one of 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.
Advances in Petri Nets
The Advances in Petri Nets 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:
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 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 TGI group at
University of Hamburg, Germany. More information can be
obtained at the following addresses:
| http://www2.informatik.uni-hamburg.de/tgi/PetriNets/meetings/pn2006/ |
Last modified: Thu June 09 2005
|