Lars Michael Kristensen Kurt Jensen Teaching Modelling and Validation of Concurrent Systems Using Coloured Petri Nets. 19-34 2008 1 T. Petri Nets and Other Models of Concurrency http://dx.doi.org/10.1007/978-3-540-89287-8_2 journals/topnoc/2008-1 db/journals/topnoc/topnoc1.html#KristensenJ08