Petri Nets 2013 - Call for papers

*** 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: petrinets2013@disco.unimib.it 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 (kleijn@liacs.nl) or Joerg Desel
(joerg.desel@fernuni-hagen.de). 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
--
Luca Bernardinello
Università degli studi di Milano - Bicocca
Dipartimento di informatica, sistemistica e comunicazione
viale Sarca 336, I-20126 Milano (Italia)