Petri Nets 2010, ACSD 2010 - Braga, Portugal

PETRI NETS 2010

ACSD 2010

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

Tutorials

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