@book {RP-85-07,
	title = {Modelling and Validation of Complex Systems modeled by Colored Petri Nets},
	volume = {188},
	year = {1985},
	pages = {15-31},
	publisher = {Springer-Verlag},
	organization = {Springer-Verlag},
	author = {J. Mart{\'\i}nez and M. Silva},
	editor = {G. Rozenberg}
}

