(PN) [PETRI NETS 2009] 1st Call for Papers
–===============0132925345==
Content-Type: multipart/signed; boundary=Apple-Mail-113–667969297; micalg=sha1;
protocol=”application/pkcs7-signature”
–Apple-Mail-113–667969297
Content-Type: text/plain;
charset=ISO-8859-1;
format=flowed;
delsp=yes
Content-Transfer-Encoding: quoted-printable
*** Apologies for multiple copies due to cross-posting ***
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Call for Papers =
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
> 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
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
. 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
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
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
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
The aim of the “International Conference on Application and Theory of =20=
Petri
Nets and Other Models of Concurrency” is to create a forum for =20
discussing
progress in the application and theory of Petri nets. This conference =20=
is the
major event for the Petri nets community and a major event in formal =20
methods
field. Typically, the conference have 100-150 participants. Some of =20
these
coming from industry, the rest from universities and research =20
institutions.
The conference takes place in the last week of June.
The 30th edition of this international Petri Net conference takes =20
place under
the auspices of EATCS and GI SIG “Petri Nets and Related System =20
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. =20
Tutorials are
offered to participants who have little or no prior experience with =20
Petri
nets. The talks give an overview of the area, and they will help new-=20
comers to
understand the basic ideas in many of the conference contributions. The
Workshops and Advanced Tutorials are offered to those who already have =20=
some
knowledge of Petri nets. They are divided into several strands covering
different subjects. A detailed description of the tutorials and =20
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 =20
possible to
arrange small educational courses, e.g., with respect to some of the =20
Petri net
tools.
An exhibition of Petri net tools is also planned. It consists of =20
informal
demonstrations for small groups/individuals, and there are no =20
scheduled talks.
Topics of Interest
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
- 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 =20
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
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
Papers presenting original contributions in any area of application =20
and theory
of Petri nets (see topics above) are sought. The language of the =20
conference is
English. Submission instructions as well as templates can be found at =20=
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 =20
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 =20
will be
invited as submission to a special issue of the Fundamenta Informaticae
journal.
Tutorials & Advanced Tutorials Proposals
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
We invite proposals for tutorials and advanced tutorials :
The purpose of such events is to introduce researchers to a new or =20
emerging
area or to provide deeper insight into a particular topic within Petri =20=
nets or
related areas, ranging from theory to industrial applications. =20
Tutorial levels
may be introductory, intermediate, or advanced.
Proposals should be submitted before January 5, 2009 (half a year =20
before the
tutorial), to the Tutorial Committee (Wil van der Aalst, Jonathan =20
Billington,
and Susanna Donatelli).
Committees
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
>– 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
. 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 - =20=
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=F6rg 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
+=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
| Jean-Baptiste Voron // Publicity Chair PN’2009
|
| Web : http://petrinet2009.lip6.fr/
| Email : jean-baptiste.voron@lip6.fr
| Phone : +33 1 44 27 31 92
| Address : LIP6/MoVe, Boite courrier 169,
| : 4 place Jussieu, 75252 Paris Cedex 05, France
+=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
–Apple-Mail-113–667969297
Content-Disposition: attachment;
filename=smime.p7s
Content-Type: application/pkcs7-signature;
name=smime.p7s
Content-Transfer-Encoding: base64
MIAGCSqGSIb3DQEHAqCAMIACAQExCzAJBgUrDgMCGgUAMIAGCSqGSIb3DQEHAQAAoIIEwTCCBL0w
ggOloAMCAQICAnZKMA0GCSqGSIb3DQEBBQUAMDQxCzAJBgNVBAYTAkZSMQ0wCwYDVQQKEwRDTlJT
MRYwFAYDVQQDEw1DTlJTLVN0YW5kYXJkMB4XDTA4MDMxMTA4MzI1NVoXDTEwMDMxMTA4MzI1NVow
eDELMAkGA1UEBhMCRlIxDTALBgNVBAoTBENOUlMxEDAOBgNVBAsTB1VNUjc2MDYxHDAaBgNVBAMT
E0plYW4tQmFwdGlzdGUgVm9yb24xKjAoBgkqhkiG9w0BCQEWG0plYW4tQmFwdGlzdGUuVm9yb25A
bGlwNi5mcjCCASIwDQYJKoZIhvcNAQEBBQADggEPADCCAQoCggEBAPViaXf1ofLaYZ0b/cQ+fdpg
jLKvhWFGvP+PwzFHzrOkewRoeBwraKJ6TDqJR2XoD0DEVM0dVE0umZSTSpBJFpLO7SXh4h8lEwtg
JWTokUjLNrD27XLZkKvooz7cvUhq/syBI97c0N/dUIsFsOKX8A+x2HQzQZWViMgsa0kucZEWdHKJ
36rbwkH2vamD9UrCW5A056IQguXxUHxqrukmf+sEnZB2JQ07fb4SXvu0eT86T44VC+Z5ztqmoHT3
/80keTJgxI5cX4XWoWAev5lU6TeP8XskWDXJWnd4QaB4DAyK7vub1VOQq+DXv5lJAFoEq8UOHThT
MZK0FJnEsc0BvQECAwEAAaOCAZMwggGPMAwGA1UdEwEB/wQCMAAwEQYJYIZIAYb4QgEBBAQDAgSw
MA4GA1UdDwEB/wQEAwIF4DB4BglghkgBhvhCAQ0EaxZpQ2VydGlmaWNhdCBDTlJTLVN0YW5kYXJk
LiBQb3VyIHRvdXRlIGluZm9ybWF0aW9uIHNlIHJlcG9ydGVyIOAgaHR0cDovL2lnYy5zZXJ2aWNl
cy5jbnJzLmZyL0NOUlMtU3RhbmRhcmQvMB0GA1UdDgQWBBQurg4rPqp44jJOE5ngAQi295Ea8zBT
BgNVHSMETDBKgBRnWaXlB3RJA+8Fz8wupBjVEMiePKEvpC0wKzELMAkGA1UEBhMCRlIxDTALBgNV
BAoTBENOUlMxDTALBgNVBAMTBENOUlOCAQIwJgYDVR0RBB8wHYEbSmVhbi1CYXB0aXN0ZS5Wb3Jv
bkBsaXA2LmZyMEYGA1UdHwQ/MD0wO6A5oDeGNWh0dHA6Ly9jcmxzLnNlcnZpY2VzLmNucnMuZnIv
Q05SUy1TdGFuZGFyZC9nZXRkZXIuY3JsMA0GCSqGSIb3DQEBBQUAA4IBAQCza9YD+5z0IZyaBJBd
gzmFfhfIOMtLY0MCJckdeRHJbxEgbT4z6hsyJO+t2AAjt2gDEK4kZXOw4D0qMbOH1GvYmOW1h353
9qCMyzkVOE70NaG8Jf1bL9QyFtZ5/ENS8diiZ25CnEjzDIadnTguqty8JMZ3unWWtx2re0k+fpaj
Iq+h0EAW+D373S4X+kuBBrIPO53q+XTxlnQfJ5lhwQGq/jWYlC52mU9b/x20KZv+RQy0UVWSIwVI
QikQGrqmhoZxiWrHN/UKy1oO2Tfi4BlHdpe9j4sD65No3fQiuErA4p3kw+reBebV3oYBDRPfNrEo
x3QU9LmdIp7GVcubNC/2MYICWTCCAlUCAQEwOjA0MQswCQYDVQQGEwJGUjENMAsGA1UEChMEQ05S
UzEWMBQGA1UEAxMNQ05SUy1TdGFuZGFyZAICdkowCQYFKw4DAhoFAKCB9TAYBgkqhkiG9w0BCQMx
CwYJKoZIhvcNAQcBMBwGCSqGSIb3DQEJBTEPFw0wODEwMjExNDM3MzBaMCMGCSqGSIb3DQEJBDEW
BBRAOysuBFaPfCPmL0ZRW4nhBF9c4TBJBgkrBgEEAYI3EAQxPDA6MDQxCzAJBgNVBAYTAkZSMQ0w
CwYDVQQKEwRDTlJTMRYwFAYDVQQDEw1DTlJTLVN0YW5kYXJkAgJ2SjBLBgsqhkiG9w0BCRACCzE8
oDowNDELMAkGA1UEBhMCRlIxDTALBgNVBAoTBENOUlMxFjAUBgNVBAMTDUNOUlMtU3RhbmRhcmQC
AnZKMA0GCSqGSIb3DQEBAQUABIIBAGlQMhhx1SMg/uTgWN2oWkAWD1DfvKsX2H/yY9cBKegPLiYZ
2DmEsG73hzOKIab0LltfMKfDKYh2xDEEeKqpn89URe5XCWOPByKCroX4PhiV/2lnT3YlbGjtwnbr
NiHPe+xvUfidSkkuyRPovUMG458CIx5+KZ60uv8IlE1RMXTUFXO1MphFhpjads7rbpcVgtbofyUD
iUJzaHA45fxX/6/fMNtBjyQTzqj6FizowveCN54/E1SZ6M5hLZZAAe0IIh4SPucYes7UpxXhX87Y
RPSEXKLYnbRkp9cADaw7PFpg03P0+cp2xu6cck8wCaATVYupHAYovE4/hr5VchwKj9YAAAAAAAA=
–Apple-Mail-113–667969297–
–===============0132925345==
Content-Type: text/plain; charset=”us-ascii”
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline
—-
[[ 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: ]]
[[ petrinet@informatik.uni-hamburg.de ]]
–===============0132925345==–