@book {RP-90-11,
	title = {Petri Nets and Flexible Manufacturing},
	volume = {424},
	year = {1990},
	pages = {374-417},
	publisher = {Springer-Verlag},
	organization = {Springer-Verlag},
	author = {M. Silva and R. Valette},
	editor = {G. Rozenberg}
}

