Ella E. Roubtsova Property specification for coloured Petri nets. 2617-2622 2004 conf/smc/2004 SMC (3) http://dx.doi.org/10.1109/ICSMC.2004.1400725 db/conf/smc/smc2004-3.html#Roubtsova04