From: Franck Pommereau <franck.pommereau@gmail.com>
To: petrinet@informatik.uni-hamburg.de
Date: Fri, 27 Jan 2012 10:21:36 +0100
Subject: (PN) CFP: CompoNet workshop at PETRI NETS 2012
=============================================
2nd workshop on Petri Nets Compositions (Componet)
Satellite of PETRI NETS 2012
June 25th 2012, Hamburg, Germany
=============================================
The usual definition of Petri nets (i.e., as a computation model) does
not provide help in using them for modelling large systems by
incrementally composing smaller parts. However, many extensions have
been proposed over years to allow for numerous Petri nets
compositions, forming a family that is still actively developed.
The aim of this workshop is to offer to researchers using or
developing compositions within their specific Petri net variants or
related models of concurrency, a forum promoting cross-discussion and
cross-fertilisation. We hope this will enable the emergence of novel
models of Petri nets compositions, dedicated to various application
domains.
Submissions may be theoretical or practical papers, as well as case
studies, addressing composition as a central topic either for Petri
nets or related models of concurrency. The scope includes in
particular (but not only):
- definitions and properties of composable, compositional,
hierarchical or modular variants of Petri nets
- improving modelling using compositions
- improving analysis using compositions or decompositions
- compositional or modular Petri nets semantics of other formalisms
- implementation issues related to compositions
- comparison of composition techniques
- comparison of Petri nets variants supporting compositions
- tools supporting compositions of Petri nets
- case studies involving compositions as a crucial feature
Papers may be accepted as full publication, for presentation only or
for posters. It is possible to submit an extended abstract to apply
for a presentation only or a poster.
A printed version of the proceedings will be distributed at the
workshop and on-line proceedings will be published via CEUR-WS. After
the PETRI NETS conference, best workshop papers will be invited to a
joint post-proceedings, to be published in the new subseries of
Lecture Notes in Computer Science (LNCS) entitled "Transactions on
Petri Nets and Other Models of Concurrency" (ToPNoC), i.e., a
selection of papers from all workshops will be combined into a single
volume. The revised papers will go through an additional round of
reviewing. See http://www.springer.com/lncs/topnoc for more
information about ToPNoC.
A printed version of the extended abstracts and posters will be
distributed at the workshop and a bibliographical note will appear in
the proceeding.
===============
Important dates
===============
Full papers:
- submission deadline: March 20th 2012
- authors notification: May 1st 2012
- final versions due: June 1st 2012
Extended abstracts:
- submission deadline: May 15th 2012
- authors notification: May 22th 2012
- final versions due: June 1st 2012
==========
Submission
==========
Papers must contain original contributions, be self-contained and
clearly written in English, and include appropriate references to and
comparison with related work. Simultaneous submission to other
conferences or workshops with proceedings is not allowed. Papers
submissions should be at most 15 pages long, and should be formatted
according to Springer LNCS guidelines, see
http://www.springer.de/comp/lncs/authors.html. If necessary, the
submission may be supplemented with a clearly marked appendix, which
will be reviewed at the discretion of the program committee. Extended
abstracts should be at most 2 pages long and are eligible to be
selected for a poster or a short presentation at the workshop.
Submissions, exclusively in PDF format, will be handled by the
EasyChair system.
================
More information
================
web: http://www.ibisc.univ-evry.fr/~fpommereau/CompoNet-12
submission: http://www.easychair.org/conferences/?conf=componet2012
email contact: componet2012@easychair.org
=================
Program committee
=================
Eike Best, Germany. Søren Christensen, Denmark. Raymond Devillers,
Belgium. Alain Finkel, France. Ryszard Janicki, Canada. Hanna Klaudel,
France (co-chair). Jetty Kleijn, The Netherlands. Gerald Lüttgen,
Germany. Daniel Moldt, Germany. Berndt Müller (Farwer), UK. Laure
Petrucci, France. Franck Pommereau, France (co-chair). Wolfgang
Reisig, Germany. Natalia Sidorova, The Netherlands. Karsten Wolf,
Germany.
----
[[ 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 ]]