@inbook {1344,
	title = {Packages for validating discrete production systems modeled with Petri nets},
	booktitle = {Applied Modelling and Simulation of Technological Systems},
	year = {1987},
	pages = {529-536},
	publisher = {Elsevier Science Publishers B.V. (North-Holland)},
	organization = {Elsevier Science Publishers B.V. (North-Holland)},
	isbn = {0-444-70249-0},
	author = {J.M. Colom and J. Mart{\'\i}nez and M. Silva},
	editor = {P. Borne and S.G. Tzafestas}
}

