Hassane Alla P. Ladet J. Martinez M. Silva-Suarez Modelling and validation of complex systems by coloured Petri nets; Application to a flexible manufacturing sytem. 15-31 1984 conf/apn/1984 European Workshop on Applications and Theory in Petri Nets db/conf/apn/apn1984.html#AllaLMS84 http://dx.doi.org/10.1007/3-540-15204-0_2