Petri Nets 2010, ACSD 2010 - Braga, Portugal


ACSD 2010

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


Monday 21

WS2: Biological Processes & Petri Nets (BioPPN)
Organizers: Claudine Chaouiya and Monika Heiner.

Monday 21 (afternoon) and Tuesday 22

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

Tuesday 22

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

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.