@inproceedings {1345,
	title = {Packages for validating discrete production systems modeled with Petri nets},
	booktitle = {IMACS-IFAC Symposium on Modelling and  Simulation for Control of Lumped and Distributed Parameter Systems},
	year = {1986},
	month = {06/1986},
	pages = {457-462},
	address = {Villeneuve d{\textquoteright}Ascq, France},
	author = {J.M. Colom and J. Mart{\'\i}nez and M. Silva}
}

