Schedule
Copies of slides sets and CPN models can be downloaded from the CPN Book web-pages.
Monday Jan 25
Thursday Jan 28
- Non-hierarchical Coloured Petri Nets (Chapter 2)
Monday Feb 1
- CPN ML Programming (Chapter 3)
Thursday Feb 4
- Demonstration of CPN Tools and associated exercises
- Introduction to project 1.
Monday Feb 8
- Formal Definition of Coloured Petri Nets (Chapter 4)
Thursday Feb 11
- Hierarhical Coloured Petri Nets (Chapter 5)
Monday Feb 15
- Workshop on CPN modelling related to project 1
Thursday Feb 18
- State Spaces and Behavioural Properties (Chapter 7)
- Deadline for project 1
- Introduction to project 2
Monday Feb 22
- Advanced State Space Methods (Chapter 8).
Thursday Feb 25
- Workshop on state space analysis related to project 2
Monday Mar 1
- Timed Coloured Petri Nets (Chapter 10)
Thursday Mar 4
- Simulation-based Performance Analysis (Chapter 12)
- Deadline for project 2
- Introduction to project 3
Monday Mar 8
- Workshop on performance analysis related to project 3
Thursday Mar 11
- Examples of Industrial Applications (Chapter 14)
- Course evaluation
Monday Mar 15
- Deadline for project 3