                                 Preface
This volume contains the papers presented at the joint SUMo/CompoNet 2011
event: second international workshop on Scalable and Usable Model Checking for
Petri nets and other models of concurrency and the first international workshop
on Composition of Petri nets held on June 20-24, 2011 in Newcastle, United
Kingdom as a part of the International Conference on Applications and Theory of
Petri Nets (PETRI NETS 2011). These joint workshops aim at bringing together,
in an informal setting, researchers interested in all aspects of model checking
and composition for different models of concurrency, whether this interest be
practical or theoretical, primary or derived.

  SUMo and CompoNet PC members have reviewed nine submissions by re-
searchers from several countries. Each submission was reviewed by 4 program
committee members. Finally six papers have been selected for publication and
presentation.
    The Model Checking Contest is a SUMo’s additional event that runs in par-
allel with the paper submissions, this year the results of this contest will be
presented at the conference but not directly published in this proceeding. We
expect a future publication of those results after the workshop.

  The workshops organizers would like to thank Alexandre Duret-Lutz, from
EPITA/LRDE for his Keynote talk entitled ”Building LTL Model Checkers using
Transition-based Generalized Büchi Automata”.
   The workshops organizers would also like to thank the authors of submitted
papers for their interest in SUMo/CompoNet. We also thank the program com-
mittee members and the external reviewers for their outstanding work during
the reviewing process.
   Last but not least, we thank the authors of the EasyChair conference man-
agement system which made the practical organization of the reviewing process
considerably easier.

June 2011                                  Didier Buchs (PC chair SUMo)
               Hanna Klaudel and Franck Pommereau (PC chairs CompoNet)
                  Conference Organization


SUMo Programme Committee
Béatrice Bérard (France)             Charles Lakos (Australia)
Dragan Bosnacki (The Netherlands)      Isabella Mastroeni (Italia)
Ivana Cerná (Czech Republic)          Emmanuel Paviot-Adet (France)
Gianfranco Ciardo (USA)                Wojciech Penczek (Poland)
Jean-Michel Couvreur (France)          Denis Poitrenaud (France)
Martin Fränzle (Germany)              Olivier Roux (France)
Giuliana Franchescinis (Italy)         Alexander Serebrenik (Netherland)
Monika Heiner (Germany)                Jeremy Spronston (Italy)
Tommi Junttila (Finland)               Yann Thierry-Mieg (France)
Kais Klai (France)                     Bow-Yaw Wang (Taiwan)
Olga Kouchnarenko (France)             Karsten Wolf (Germany)
Marta Kwiatkowska (UK)


External Reviewers
Edmundo Lopez (University of Geneva)


CompoNet Programme Committee
Eike Best (Germany)                    Charles Lakos (Australia)
Didier Buchs (Switzerland)             Johan Lilius (Finland)
Gianfranco Ciardo (USA)                Daniel Moldt (Germany)
Raymond Devillers (Belgium)            Elisabeth Pelz (France)
Berndt Müller (Farwer) (UK)           Laure Petrucci (France)
Alain Finkel (France)                  Wolfgang Reisig (Germany)
David de Frutos-Escrig (Spain)         Natalia Sidorova (The Netherlands)
Ryszard Janicki (Canada)               Alex Yakovlev (UK)
Ekkart Kindler (Denmark)               Søren Christensen (Denmark)
Jetty Kleijn (The Netherlands)         Karsten Wolf (Germany)