Kurt Jensen Lars Michael Kristensen Lisa Wells Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems. 213-254 2007 9 STTT 3-4 http://dx.doi.org/10.1007/s10009-007-0038-x db/journals/sttt/sttt9.html#JensenKW07