@inproceedings {RP-84-04,
	title = {Modelling and validation of complex systems by coloured Petri nets. Application to a flexible manufacturing system},
	year = {1984},
	pages = {122-140},
	author = {J. Mart{\'\i}nez and M. Silva},
	editor = {University}
}

