(Our apologies if you receive multiple copies of this CFP)
Please forward to colleagues who might be interested.
PETRI NETS 2014
CALL FOR PAPERS
35th International Conference on
Application and Theory of Petri Nets and Concurrency
June 23-27, 2014
Tunis, Tunisia
http://petrinets2014.cnam.fr/petrinets.php
Important Dates:
------------------------------------------------------------------------------------------------------------------------
Submission of Papers: January 10, 2014
Notification: March 1, 2014
Final Version Due: April 1, 2014
Submission of Tuto rial Proposals: January 10, 2014
Participation in Tools Exhibition: June 1, 2014
Workshops & Tutorials: June 23-24, 2014
Conference: June 25-27, 2014
(*) The deadline for submission of papers is STRICT. However, if you
submit the title and abstract 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 35th annual international Petri Net conference will take place in
Tunis from June 23th to 27th, 2014. The conference will be organized
by the Computer Science and Communication Departments of Tunis El
Manar University ( ENIT ), Manouba University ( ENSI ), and Carthage
University ( INSAT ). The conference takes place under the auspices of
the Academia Europaea , EATCS , and GI SIG "Petri Nets and Related
System Models.
The 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 u sing 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
- real-time systems
- embedded systems
- defence systems
- biological systems
- health and medical systems
- environmental systems
- hardware
- telecommunications
- railway networks
- office automation
- workflows
- supervisory control
- protocols and networks
- Internet
- e-commerce and trading
- programming languages
- performance evaluation
- operations research
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 2 0 pages in Springer LNCS-format)
- tool papers (max 10 pages in Springer LNCS-format)
The website for electronical submissions is: http://www.easych air.org/
conferences/?conf=petrinets2014
The full set of requirements and guidelines for submissions is given
in the Call for Papers.
More Activities
------------------------------------------------------------------------------------------------------------------------
While the conference takes place from Wednesday to Friday, the days
before the conference also offer a wide range of activities:
- several onde-day or two-day Workshops,
- the three day Petri Net Course,
- the Tools Exhibition
Organisation
=
=
=
=
=
=
=
=
=
=
=
=
=
=
=
=
=
=
=
=
=
=
=
=
=
========================================================================
Steering Commitee
------------------------------------------------------------------------------------------------------------------------
W. van der Aalst, The Netherlands
J. Billington, Australia
G. Ciardo, USA
J. Desel, Germany
S. Donatelli, Italy
S. Haddad, France
K. Hiraishi, Japan
J. Kleijn, The Netherlands
F. Kordon, France
M. Koutny, UK (chair)
L.M. Kristensen, Norway
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
------------------------------------------------------------------------------------------------------------------------
Gianfranco Ciardo, USA
Ekkart Kindler, Denmark
Workshop and Tutorial Co-Chairs
-----------------------------------------------------------------------------------------------------------
-------------
Jörg Desel, Germany
Serge Haddad, France
Organising Committee Chair
------------------------------------------------------------------------------------------------------------------------
Kamel Barkaoui, France
Tools Exhibition Chair
------------------------------------------------------------------------------------------------------------------------
Mohamed Khalgui, Tunisia
Publicity Chairs
------------------------------------------------------------------------------------------------------------------------
Kaïs Klai, France
Program Committee
------------------------------------------------------------------------------------------------------------------------
H. Alla, France
K. Barkaoui, France
M. Beccuti, Italy
L. Bernardinello, Italy
D. Buchs, Switzerland
G. Ciardo, USA (co-chair)
P. Chrzastowski, Poland
J.M. Colom, Spain
J. Desel, Germany
R. Devillers, Belgium
M.P. Fanti, Italy
. M. Fernandes, Portugal
H. Hansen, Singapore
M. Heiner, Germany
J. P Katoen, Germany
E. Kindler, Denmark (co-chair)
V. Khomenko, UK
H. Klaudel, France
J. Kleijn, The Netherlands
R. Lazic, UK
N. Lohmann, Germany
I. Lomazova, Russia
A. Miner, USA
M. Mukund, India
A. Polyvyanyy, Australia
W. Reisig, Germany
R. Robbana, Tunisia
S. Schwoon, France
C. Seatzu, Italy
A. Valmari, Finland
M. Westergaard, The Netherlands
=
=
=
=
=
=
=
=
=
=
=
=
=
=
=
=
=
=
=
=
=
=
=
=
=
========================================================================
----
[[ 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] ]]
