Kurt Jensen Special section on Coloured Petri Nets. 1-3 2008 10 STTT 1 http://dx.doi.org/10.1007/s10009-007-0056-8 db/journals/sttt/sttt10.html#Jensen08