Programme for the Tutorial

Monday, June 8

8.30-9.00: Registration

9.00-10.00: Session 1

Søren Christensen:
New Features in Design/CPN 3.1

10.00-10.30: Coffee and Tea

10.30-12.00: Session 2

Lars M. Kristensen:
State Spaces (occurrence graphs)

12.00-13.00: Lunch

13.00-14.30: Session 3

Bo Lindstrøm and Lisa Marie Wells:
Performance Analysis with CPN models

14.30-15.00: Coffee and Tea

15.00-18.00: Session 4 (hands-on laboratories)

State Spaces
Performance Analysis

Tuesday, June 9

9.00-10.30: Session 5

Lars M. Kristensen:
Advanced State Spaces (with symmetries and equivalence classes)

10.30-11.00: Coffee and Tea

11.00-12.00: Session 6

Søren Christensen:
Animation of CPN models

12.00-13.00: Lunch

13.00-16.00: Session 7 (hands-on laboratories)

Advanced State Spaces
Animation of CPN models