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.