Petri Nets 2010, ACSD 2010 - Braga, Portugal


ACSD 2010

Braga, Portugal, June 21-25, 2010
Petri Nets 2010, ACSD 2010 - Braga, Portugal
Tuesday, 22 June 2010

Petri net Course

TT3: State space exploration of Coloured Petri Nets and the ASAP model checking platform
Lars Michael Kristensen, Michael Westergaard

WS1: Abstractions for Petri Nets and Other Models of Concurrency (APNOC)
WS5: Scalable and Usable Model checking for Petri nets and Other models of concurrency (SUMo)
Organizers: Alexander Serebrenik, Natalia Sidorova, Didier Buchs, Fabrice Kordon, Yann Thierry-Mieg, and Jeremy Sproston

WS3: Applications of Region Theory (ART)
Organizers: Jörg Desel and Alex Yakovlev

WS4: Petri Nets and Software Engineering (PNSE)
Organizers: Michael Duvigneau and Daniel Moldt