=Paper=
{{Paper
|id=None
|storemode=property
|title=Introduction
|pdfUrl=https://ceur-ws.org/Vol-827/28_DidierBuchs_introduction.pdf
|volume=Vol-827
|dblpUrl=https://dblp.org/rec/conf/acsd/BuchsKSSST10
}}
==Introduction==
<pdf width="1500px">https://ceur-ws.org/Vol-827/28_DidierBuchs_introduction.pdf</pdf>
<pre>
Introduction
This chapter contains the papers presented at the joint SUMo/APNOC 2010 event:
International Workshop on Scalable and Usable Model Checking for Petri Nets and
other models of concurrency and the Second International Workshop on Abstractions
for Petri Nets and Other Models of Concurrency held on June 22, 2010 in Braga,
Portugal as a part of the International Conference on Applications and Theory of
Petri Nets (PETRI NETS 2010). These joint workshops aim at bringing together,
in an informal setting, researchers interested in all aspects of model checking and
abstractions for different models of concurrency, whether this interest be practical or
theoretical, primary or derived.
    SUMo PC members have reviewed five submissions by researchers from three
countries, including a number of submissions by authors from different countries.
Each submission was reviewed by 4 program committee members.
    APNOC PC members have reviewed six submissions by researchers from six coun-
tries, including a number of submissions by authors from different countries. Each
submission was reviewed by at least 3 program committee members.
    The workshops organizers would like to thank Daniel Kröning, from Oxford Uni-
versity (UK) for his Keynote talk entitled ”Unbounded is back”.
    The workshops organizers would also like to thank the authors of submitted papers
for their interest in SUMo/APNOC. We also thank the program committee 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 management
system which made the practical organization of the reviewing process considerably
easier.

                                               Didier Buchs (General chair SUMo)
                                             Fabrice Kordon (General chair SUMo)
                                          Alexander Serebrenik (PC chair APNOC)
                                              Natalia Sidorova (PC chair APNOC)
                                               Jeremy Spronston (PC chair SUMo)
                                              Yann Thierry-Mieg (PC chair SUMo)

</pre>