Monday 21
TT1: Decision-diagram techniques for the analysis of Petri nets
Gianfranco Ciardo
Tuesday 22
TT2: Analysis and Synthesis of (Web) Service Behavior - CANCELLED
Karsten Wolf, Kathrin Kaschner, Niels Lohmann, and Christian Stahl
TT3: State space exploration of Coloured Petri Nets and the ASAP model checking platform
Lars Michael Kristensen, Michael Westergaard