=Paper=
{{Paper
|id=None
|storemode=property
|title=None
|pdfUrl=https://ceur-ws.org/Vol-827/0_SusannaDonatelli_preface.pdf
|volume=Vol-827
}}
==None==
<pdf width="1500px">https://ceur-ws.org/Vol-827/0_SusannaDonatelli_preface.pdf</pdf>
<pre>
Preface
These proceedings, part of the CEUR series, contain contributions accepted for and
presented at the workshops organized as satellite events to the “31st International
Conference on Application and Theory of Petri Nets and Other Models of Concur-
rency” (PETRI NETS 2010) and the “10th International Conference on Application
of Concurrency to System Design” (ACSD 2010), in Braga, Portugal, on June 21-22,
2010.
    The five workshops were the following:
   • Biological Processes & Petri Nets (BioPPN)
     organized by Claudine Chaouiya and Monika Heiner
   • Applications of Region Theory (ART)
     organized by Jörg Desel and Alex Yakovlev
   • Petri Nets and Software Engineering (PNSE)
     organized by Michael Duvigneau and Daniel Moldt
   • Abstractions for Petri Nets and Other models of Concurrency (APNOC)
     organized by Alexander Serebrenik and Natalia Sidorova,
   • Scalable and Usable Model checking for Petri nets and other models of concur-
     rency (SUMo)
     organized by Didier Buchs, Fabrice Kordon, Yann Thierry-Mieg, and Jeremy
     Sproston

    All these workshops have been organised as a discussion platform for researchers
interested in the application of Petri nets and other formal concurrency models in
many current fields of study, namely in biology, synthesis, software engineering, and
model checking. Independent reviewers have carefully reviewed all papers.
    For more details, please see the PETRI NETS / ACSD 2010 website:
http://acsd-petrinets2010.di.uminho.pt
    January 2012

                                                                  Susanna Donatelli
                                                                        Jetty Kleijn
                                                                Ricardo J. Machado
                                                                 João M. Fernandes

</pre>