Messages

You can get the slides here and you can watch the videos here.  For more information, you can take a look at the tutorial from CPN'09 here (it's the one with 8 points titled State Space Methods and Tool Support for them.

The slides from the first lecture has been updated to a new version and the place has been updated with the correct location (Shannon-164).

The first lecture will be on Monday February 25 at 10.15 in Shanon-159.
The course uses the textbook:
      K. Jensen and L.M. Kristensen: Coloured Petri Nets.
      Modelling and Validation of Concurrent Systems.
      (www.cs.au.dk/CPnets/cpnbook/)
The textbook can be purchased in the book shop at the Department of Mathematical Sciences. The first two chapters can be down-loaded from the CPN Book web-pages above.