@book {RP-91-32,
	title = {Modelling, validation and software implementation of production systems using high-level Petri nets},
	year = {1991},
	pages = {618-623},
	publisher = {Springer-Verlag},
	organization = {Springer-Verlag},
	author = {P. Muro and M. Silva},
	editor = {K. Jensen and G. Rozenberg}
}

