@book {RP-93-57,
	title = {Introducing Petri Nets},
	year = {1993},
	publisher = {Chapman and Hall},
	organization = {Chapman and Hall},
	author = {M. Silva and F. Vernadat}
}

