• Aucun résultat trouvé

Preface of the 2nd International Workshop on Petri Nets Compositions (CompoNet'12)

N/A
N/A
Protected

Academic year: 2022

Partager "Preface of the 2nd International Workshop on Petri Nets Compositions (CompoNet'12)"

Copied!
1
0
0

Texte intégral

(1)

Preface

This volume contains the papers presented at CompoNet 2012: second interna- tional workshop on Petri nets Compositions (and other models of concurrency) held on June 26th 2012 in Hamburg, Germany as a part of the International Conference on Applications and Theory of Petri Nets (PETRI NETS 2012).

This workshop aims at offering to researchers, using or developing composi- tions within their specific Petri net variants or related models of concurrency, a forum promoting cross-discussion and cross-fertilisation with the hope to enable the emergence of novel models of Petri nets compositions, dedicated to various application domains.

We would like to thank the authors of submitted papers for their interest in CompoNet. We also thank the program committee members and the external reviewers for their efficient work during the reviewing process. Last but not least, we thank the authors of the EasyChair conference management system which made the practical organisation of the reviewing process considerably easier.

June 2012

Hanna Klaudel and Franck Pommereau (PC chairs)

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¨uttgen, Germany

Daniel Moldt, Germany Berndt M¨uller (Farwer),

United Kingdom Laure Petrucci, France

Franck Pommereau, France (co-chair) Wolfgang Reisig, Germany

Natalia Sidorova, The Netherlands Karsten Wolf, Germany

External reviewers

Marcin Hewelt, Germany Jan Martijn van der Werf, The Netherlands

Références

Documents relatifs

In timed nets [65], [70], [83], firing times are associated with transitions, and transition firings are real–time events, i.e., tokens are removed from input places at the beginning

In an ongoing example reconfigurable Petri nets are used to model and to verify partial dynamic reconfiguration of field programmable gate arrays using the tool ReconNet ([5] or

This volume contains the peer-reviewed papers presented at BioPPN 2014 – the 5th International Workshop on Biological Processes & Petri Nets held on June 23, 2014 in Tunis

In this paper we have shown that there is a close correspondence between Petri nets and the fluent calculus for conjunctive planning problems.. This correspon- dence is preserved if

Thanks to the flexibility of hidden places and transitions, the use of RPNs to represent the candidate solutions gives to EPN the possibil- ity to explore much more possibilities

Unit´e de recherche INRIA Rennes, Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unit´e de recherche INRIA Rhˆone-Alpes, 655, avenue de l’Europe, 38330 MONTBONNOT ST

– by removing parallel composition from Petri nets with control flow and adding an exception control flow as white tokens in addition to black tokens, we have defined Petri nets

The concurrent step reachability graph of a Petri net has all reachable markings m as vertices, a distinguished initial marking m 0 and an arc labelled by U leading from m to m 0 when