@inproceedings {RP-84-09,
	title = {A language for the description of concurrent sytems modelled by coloured Petri nets: Application to the control of flexible manufacturing systems},
	year = {1984},
	month = {11},
	pages = {72-77},
	author = {J. Mart{\'\i}nez and M. Silva}
}

