Leave a comment

Call for Participation

PETRI NETS 2009 (PN'2009)

INTERNATIONAL CONFERENCE ON
APPLICATION AND THEORY OF PETRI NETS AND OTHER MODELS OF CONCURRENCY

June 22-26, 2009
Paris, France

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

Collocated with RAPID SYSTEM PROTOTYPING 2009 (RSP'09)

Important Dates

http://petrinets2009.lip6.fr/registration/

. Early Registration : May 20, 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 from the Petri Net community
+ Gabriel Juhas from the Petri Net community
+ Bernard Courtois from the RSP community
+ Bill Tonti from the RSP community

And 4 workshops as satellite events:

+ APNOC (June 22)
Workshop on Abstractions for Petri Nets and Other Models of
Concurrency
Chairs: Natalia Sidorova and Alexander Serebrenik

+ PNSE (June 22 and 23)
Workshop on Petri Nets and Software Engineering
Chair: Daniel Moldt

+ ORGMOD (June 23)
Workshop on Organizational Modeling
Chairs: Daniel Moldt, Olivier Boissier and Michael K=F6hler-Bu=DFmeier

+ TiSto (June 23)
International Workshop on Timing and Stochasticity in Petri Nets and
Other Models of Concurrency
Chairs: Andras Horvath and Olivier Roux.

And 7 tutorials:

+ Introductory tutorials (3 * 1/2 day module)
Joerg Desel, Susanna Donatelli, Kurt Jensen, Jetty Kleijn

+ Biomodel Engineering (1 day)
Monika Heiner

+ Evaluating concurrent Architectures Using Petri Nets (1/2 day)
Rob Pettit

+ Continuous Petri Nets: Expressivity, Analysis And Control Of A
Class Of Hybrid Systems (1/2 day)
Manuel Silva

+ The Petri Net Markup Language, Theory and Practice (1/2 day)
Lom Hillah and Ekkart Kindler

+ Toward A More Dependable Software Architecture For Autonomous
Robots (1/2 day)
Sadek Ben Salem

+ System-Level Modeling And Validation Of Continuous/Discrete
Systems (1/2 day)
Gabriela Nicolescu

-------------
A complete overview of the program is available at =
http://petrinets2009.lip6.fr/program
-------------

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.