@book {RP-85-08,
	title = {A language for the description of Concurrent Systems Modeled by Colored Petri nets. Application to the Control of Flexible Manufacturing Systems},
	year = {1985},
	pages = {369-388},
	publisher = {Plenum Publishing Co.},
	organization = {Plenum Publishing Co.},
	author = {J. Mart{\'\i}nez and M. Silva},
	editor = {Chang}
}

