============================================= 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: [email protected] ================= 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: ]] [[ [email protected] ]]
