Serge Haddad A reduction theory for coloured nets. 209-235 1988 conf/apn/1988 European Workshop on Applications and Theory in Petri Nets db/conf/apn/apn1988.html#Haddad88 http://dx.doi.org/10.1007/3-540-52494-0_31