Please accept our apologies if you receive multiple copies of this CfP ========================================================
To be consistent with the other PETRI NETS workshops, we finally extended the deadline to April 15th. Please accept our apologies for the multiple messages. Due to the current events in Japan, PETRI NETS and ACSD have been moved to Newcastle upon Tyne, UK. Proceedings will be published on-line via CEUR, see http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/ ======================================================== Call for Papers CompoNet 2011 1st workshop on Petri Nets Compositions Satellite of PETRI NETS 2011 June 21th 2011, Newcastle upon Tyne, UK 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, 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 Petri nets composition as a central topic. 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 compositions techniques * comparison of Petri nets variants supporting compositions * tools supporting compositions of Petri nets * case studies involving compositions as a crucial feature 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. Important dates: * deadline for submissions: 15 April 2011 (extended) * authors notification: 15 May 2011 * final versions due: 1 June 2011 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. 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. Submissions, exclusively in PDF format, will be handled by the EasyChair system. More information: * web page: http://www.ibisc.univ-evry.fr/~fpommereau/CompoNet-11 * submission page: http://www.easychair.org/conferences/?conf=componet2011 * email contact: [email protected] Program committee: Eike Best, Germany. Didier Buchs, Switzerland. Gianfranco Ciardo, USA. Raymond Devillers, Belgium. Berndt Muller (Farwer), UK. Alain Finkel, France. David de Frutos-Escrig, Spain. Ryszard Janicki, Canada. Ekkart Kindler, Denmark. Hanna Klaudel, France (co-chair). Jetty Kleijn, The Netherlands. Charles Lakos, Australia. Johan Lilius, Finland. Daniel Moldt, Germany. Elisabeth Pelz, France. Laure Petrucci, France. Franck Pommereau, France (co-chair). Wolfgang Reisig, Germany. Natalia Sidorova, The Netherlands. Alex Yakovlev, UK. Soren Christensen, Denmark. 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] ]]
