*** Apologies for multiple copies due to cross-posting ***
*** Please forward to colleagues who might be interested
***
===========================================================
PETRI NETS 2013 34th International Conference on
Application and Theory of Petri Nets and Concurrency
Milano, Italy, June 24-28, 2013
Additional information about the conference will be
published via
http://www.mc3.disco.unimib.it/petrinets2013/
Contact e-mail: [email protected]
Important Dates
--------------------------------------------------------
Submission of Papers: January 10, 2013 (*)
Submission of Tutorial Proposals: January 10, 2013
Notification: March 1, 2013
Final Version Due: April 1, 2013
Participation in Tool Exhibition: June 1, 2013
Workshops & Tutorials: June 24-25, 2013
Conference: June 26-28, 2013
(*) The deadline for submission of papers is STRICT.
However,
if you submit the TITLE PAGE by January 10 it is
sufficient
to submit the FULL PAPER by January 15. Some of the best
papers accepted for the conference will be invited as
submissions to a special issue of the Fundamenta
Informaticae journal.
The 34th annual international Petri Net conference will be
organised by the Department of Computer Science, Systems
and Communication (DISCo), University of Milano - Bicocca.
The conference takes place under the auspices of the
EATCS,
and GI SIG "Petri Nets and Related System Models".
The language of the conference is English, and its
proceedings
will be published by Springer-Verlag in Lecture Notes in
Computer
Science. All accepted papers will be considered for the
"Outstanding Paper" award(s). Papers presenting original
research on application or theory of Petri nets, as well
as contributions addressing topics relevant to the
general field of distributed and concurrent systems are
sought.
Topics
--------------------------------------------------------
Topics specific to Petri Nets
- System design using nets
- Analysis and synthesis, structure and behaviour of nets
- Relationships between Petri Nets and other approaches
- Net-based semantical, logical and algebraic calculi
- Symbolic net representation (graphical or textual)
- Computer tools for nets
- Experience with using nets, case studies
- Higher-level net models
- Timed and stochastic nets
- Standardisation of nets
- Experience reports describing applications of nets to
different kinds of systems and application fields,
e.g.:
- flexible manufacturing systems
- office automation
- real-time systems
- workflows
- embedded systems
- supervisory control
- defence systems
- protocols and networks
- biological systems
- Internet
- health and medical systems
- e-commerce and trading
- environmental systems
- programming languages
- hardware
- performance evaluation
- telecommunications
- operations research
- railway networks
General topics related to concurrency
- Model checking and verification of distributed systems
- Verification of infinite-state or parametric systems
- Causality/partial order theory of concurrency
- Educational issues related to concurrency
- New issues and developments in the theory of
concurrency
- Modelling of hardware and biological systems
Paper Submissions
--------------------------------------------------------
Two kinds of papers can be submitted:
- regular papers (max 20 pages) describing original
results
pertaining to the development of the theory of Petri
Nets and
distributed and concurrent systems in general, new
results
extending the applicability of Petri Nets, or case
studies,
application and experience reports pertinent to the
practical
use of Petri Nets and concurrency. For papers
describing the
experiences from applications of Petri Nets, authors
are
encouraged to consult the document:
ApplicationFormat.pdf
(available at
www.informatik.uni-hamburg.de/TGI/sc-info/docs/ApplicationFormat.pdf).
- tool papers (max 10 pages) describing a computer tool
based
on Petri Nets (not an application of the tool or the
theory
behind the tool). For more information, please see the
document:
ToolFormat.pdf (available at
www.informatik.uni-hamburg.de/TGI/sc-info/docs/ToolFormat.pdf).
The tool should be available for use by other groups
(but not
necessarily for free). The submission should indicate
how the
reviewers can get access to the tool (this must be for
free).
The tool will be demonstrated in the Tool Exhibition,
in addition
to being presented in a conference talk.
Submitted papers must:
- be contributions that have neither already been
published nor are
simultaneously being considered for publication in a
peer-reviewed
forum;
- clearly state the problem being addressed, the goal of
the work, the
results achieved, and the relation to other work;
- be in English and in the Springer LNCS-format:
http://www.springer.de/comp/lncs/authors.html;
- adhere to the page limit for the relevant category (see
above);
- be sent electronically (as a PDF file) no later than
the above
mentioned deadlines using the website
http://www.easychair.org/conferences/?conf=petrinets2013.
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
regular paper
or tool paper.
Authors will be notified about the outcome of the
evaluation procedure by March 1, 2013. Submissions
violating the above requirements may be immediately
rejected by the PC Chairs.
Tool Exhibition
--------------------------------------------------------
An exhibition of Petri net tools takes place on
Wednesday. It consists of informal demonstrations for
small groups/individuals, and there are no scheduled
talks. Requests for participation in the tool exhibition
must be sent to the Tool Exhibition Chair before June 1,
2013. They should include a link to the web pages for the
tool (or a short description of the tool). The
demonstrators bring their own machines, while the
organisers may be requested to give access to the
Internet.
Workshops and Tutorials
--------------------------------------------------------
The conference takes place from Wednesday to Friday. The
days before the conference also offer a wide range of
activities. The Petri Net Course takes place from Sunday
to Tuesday. It offers a thorough introduction to Petri
Nets and consists of four parts: Basic Net Classes,
Coloured Petri Nets, Timed and Stochastic Petri Nets, and
Applications of Petri Nets. If all four parts are
followed, 3 ECTS credit points can be awarded to a
participant. For further information please contact Jetty
Kleijn ([email protected]) or Joerg Desel
([email protected]). The Workshops and
Advanced Tutorials take place on Monday and Tuesday. A
detailed description of the tutorials and workshops will
be available via the conference web pages. The following
workshops are scheduled for 2013:
* Petri Nets and Software Engineering (PNSE'13)
* Biological Processes & Petri Nets (BioPPN)
* Models of Objects, Organizations, Components, Agents,
Artefacts and
Services in Business Environments (MOCASBE)
In addition there will a Model Checking contest:
* Petri Net Model Checking Contest
The submission deadline for workshops is March 22, 2013.
It
is also possible to arrange Meetings and Courses related
to Petri Nets. Submissions for such activities, as well as
for Advanced Tutorials, must contain a 2-5 page
description. They must be received by the PC-chairs no
later than January 10, 2013.
Organisation
================================
Steering Committee
--------------------------------------------------------
W. van der Aalst, The Netherlands
J. Billington, Australia
G. Ciardo, USA
J. Desel, Germany
S. Donatelli, Italy
S. Haddad, France
K. Hiraishi, Japan
K. Jensen, Denmark
J. Kleijn, The Netherlands
F. Kordon, France
M. Koutny, UK (chair)
C. Lin, China
W. Penczek, Poland
L. Pomello, Italy
W. Reisig, Germany
G. Rozenberg, The Netherlands
M. Silva, Spain
A. Valmari, Finland
A. Yakovlev, UK
Program Committee Co-Chairs
--------------------------------------------------------
José Manuel Colom, Spain
Joerg Desel, Germany
Workshop and Tutorial Co-Chairs
--------------------------------------------------------
Serge Haddad, France
Alex Yakovlev, UK
Organising Committee Chair
--------------------------------------------------------
Lucia Pomello, Italy
Tools Exhibition Chair
--------------------------------------------------------
Luca Bernardinello, Italy
Publicity Chairs
--------------------------------------------------------
Luca Bernardinello, Italy
Lucia Pomello, Italy
Program Committee
--------------------------------------------------------
H. Alla, France
M. Beccuti, Italy
J. Billington, Australia
J. Carmona, Spain
G. Ciardo, USA
J.M. Colom, Spain (co-chair)
P. Darondeau, France
J. Desel, Germany (co-chair)
R. Devillers, Belgium
Z. Duan, China
J. Esparza, Germany
M.P. Fanti, Italy
L. Gomes, Portugal
S. Haddad, France
H. Hansen, Singapore
K. Hiraishi, Japan
V. Khomenko, UK
E. Kindler, Denmark
H. Klaudel, France
J. Kleijn, The Netherlands
R. Lazic, UK
C. Lin, China
N. Lohmann, Germany
I. Lomazova, Russia
A. Miner, USA
L. Pomello, Italy
W. Reisig, Germany
C. Seatzu, Italy
C. Stahl, The Netherlands
S. Taoka, Japan
A. Valmari, Finland
M. Westergaard, The Netherlands
----
[[ Petri Nets World: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies: ]]
[[ [email protected] ]]
