Kurt Jensen Special section on coloured Petri nets. 209-212 2007 9 STTT 3-4 http://dx.doi.org/10.1007/s10009-007-0039-9 db/journals/sttt/sttt9.html#Jensen07