TT1: Decision-diagram techniques for the analysis of Petri nets
Gianfranco Ciardo
WS2: Biological Processes & Petri Nets (BioPPN)
Organizers: Claudine Chaouiya and Monika Heiner
WS3: Applications of Region Theory (ART)
Organizers: Jörg Desel and Alex Yakovlev