International conference on application and theory of petri nets and other models of concurrency (PETRINETS 2009)


Please log in if you want to be notified when International conference on application and theory of petri nets and other models of concurrency (PETRINETS 2009) is updated on Eventseer.net. Click the tracker button below to activate notifications.
Click the button to be notified on your personal tracker whenever this event is updated or ahead of upcoming deadlines.

Facts


City: Paris
Country: France
Period: June 22-26, 2009

Updates


Deadlines


Leave a comment

Please log in to add a comment.

PETRI NETS 2009: Call for Papers


PETRI NETS 2009

International Conference on
Application and Theory of Petri Nets and other Models of Concurrency

June 22-26, 2009
Paris, France

Web : http://petrinet2009.lip6.fr/
Email : petrinet2009@lip6.fr

Collocated with RAPID SYSTEM PROTOTYPING 2009 (RSP'09)

Important Dates

. Submission of Papers : January 5, 2009
. Notification : March 1, 2009
. Final Version Due : April 1, 2009
. Workshops & Tutorials : June 22-23, 2009
. Conference : June 24-26, 2009

Highlights of the Conference

The conference will feature the following keynote speeches:

+ Joseph Sifakis (Turing Award 2007)
+ Grzegorz Rozenberg & Gabriel Juhas from the Petri Net community
+ Bernard Courtois & Bill Tonti from the RSP community

And 4 workshops as satellite events:

+ APNOC
Workshop on Abstractions for Petri Nets and Other Models of
Concurrency
Natalia Sidorova and Alexander Serebrenik

+ PNSE
Workshop on Petri Nets and Software Engineering
Daniel Moldt

+ ORGMOD
Workshop on Organizational Modeling
Daniel Moldt, Olivier Boissier and Michael K=F6hler-Bu=DFmeier

+ TSPNOC
International Workshop on Timing and Stochasticity in Petri Nets and
Other Models of Concurrency
Andras Horvath and Olivier Roux.

Conference Overview

The aim of the "International Conference on Application and Theory of
Petri
Nets and Other Models of Concurrency" is to create a forum for
discussing
progress in the application and theory of Petri nets. This conference
is the
major event for the Petri nets community and a major event in formal
methods
field. Typically, the conference have 100-150 participants. Some of
these
coming from industry, the rest from universities and research
institutions.
The conference takes place in the last week of June.

The 30th edition of this international Petri Net conference takes
place under
the auspices of EATCS and GI SIG "Petri Nets and Related System
Models" and
will be organized by the MeFoSyLoMa group that involves:

+ Universite P. & M. Curie - LIP6 (main organizer)
+ Conservatoire National des Arts et Metiers - Cedric
+ Ecole Normale Superieure de Cachan - LSV
+ Universite d'Evry Val d'Essone - IBISC
+ Universite Paris Dauphine - LAMSADE
+ Universite Paris 12 - LACL
+ Universite Paris 13 - LIPN
+ Telecom ParisTech - LTCI

The conference takes place from Wednesday to Friday. The days before the
conference also offer a large variety of Petri net activities.
Tutorials are
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
Workshops and Advanced Tutorials 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.

It will be also 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.

An exhibition of Petri net tools is also planned. It consists of
informal
demonstrations for small groups/individuals, and there are no
scheduled talks.

Topics of Interest

  • 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 :

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

Paper Submission

Papers presenting original contributions in any area of application
and theory
of Petri nets (see topics above) are sought. The language of the
conference is
English. Submission instructions as well as templates can be found at
the
Petri Net conference web site (authors section).

Three kinds of papers can be submitted:

  • Theory papers (max 20 pages).
  • Application papers (max 20 pages).
  • Tool papers (max 10 pages).

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 the PC chairs no later than April 1, 2009.

Please note that some of the best papers accepted for the conference
will be
invited as submission to a special issue of the Fundamenta Informaticae
journal.

Tutorials & Advanced Tutorials Proposals

We invite proposals for tutorials and advanced tutorials :

The purpose of such events is to introduce researchers to a new or
emerging
area or to provide deeper insight into a particular topic within Petri
nets or
related areas, ranging from theory to industrial applications.
Tutorial levels
may be introductory, intermediate, or advanced.

Proposals should be submitted before January 5, 2009 (half a year
before the
tutorial), to the Tutorial Committee (Wil van der Aalst, Jonathan
Billington,
and Susanna Donatelli).

Committees

-- Organizing Committee

  • Beatrice Berard, Universite P. & M. Curie - LIP6
  • Christine Choppy, Universite Paris 13 - LIPN
  • Hanna Klaudel, Universite d'Evry Val d'Essone - IBISC
  • Fabrice Kordon (organizing chair), Universite P. & M. Curie - LIP6
  • Denis Poitrenaud, Universite Rene Descartes - LIP6
  • Nicolas Tr=E8ves, Conservatoire National des arts et metiers - Cedric
  • Veronique Varenne (finance chair), Universite P. & M. Curie - LIP6
  • Jean-Baptiste Voron (publicity chair), Universite P. & M. Curie - LIP6

-- Tools Exhibition Committee

-- Workshops & Tutorials Organization Committee

-- Steering Committee
a. Wil van der Aalst, The Netherlands