*** Apologies for multiple copies due to cross-posting ***
================== 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 : [EMAIL PROTECTED] > 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öhler-Bußmeier + 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 theconference 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. TheWorkshops and Advanced Tutorials are offered to those who already have some
knowledge of Petri nets. They are divided into several strands coveringdifferent 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 inComputer 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èves, 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 . Celine Boutrous-Saab, Universite Paris Dauphine - LAMSADE . Alexandre Hamez, Universite P. & M. Curie - LIP6 . Laure Petrucci (committee chair), Universite Paris 13 - LIPN . Franck Pommereau, Universite Paris 12 - LACL . Xavier Renault, Universite P. & M. Curie - LIP6 >-- Workshops & Tutorials Organization Committee. Serge Haddad (committee chair), Ecole Normale Superieure de Cachan - LSV
. Kais Klai, Universite Paris 13 - LIPN . Tarek Melliti, Universite d'Evry Val d'Essone - IBISC . Yann Thierry-Mieg, Universite P. & M. Curie - LIP6 >-- Steering Committee . Wil van der Aalst, The Netherlands . Jonathan Billington, Australia . Gianfranco Ciardo, USA . Jörg Desel, Germany . Susanna Donatelli, Italy . Serge Haddad, France . Kurt Jensen, Denmark (chair) . Jetty Kleijn, The Netherlands . Maciej Koutny, United Kingdom . Sadatoshi Kumagai, Japan . Carl Adam Petri, Germany (honorary member) . Lucia Pomello, Italy . Wolfgang Reisig, Germany . Grzegorz Rozenberg, The Netherlands . Manuel Silva, Spain . Alex Yakovlev, United Kingdom +====================================================================== | Jean-Baptiste Voron // Publicity Chair PN'2009 | | Web : http://petrinet2009.lip6.fr/ | Email : [EMAIL PROTECTED] | Phone : +33 1 44 27 31 92 | Address : LIP6/MoVe, Boite courrier 169, | : 4 place Jussieu, 75252 Paris Cedex 05, France +======================================================================
smime.p7s
Description: S/MIME cryptographic signature
---- [[ 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] ]]
