@book {RP-87-02,
	title = {Packages for validating discrete production systems modelled with Petri nets},
	year = {1987},
	pages = {529-536},
	publisher = {North Holland Publishers Co.},
	organization = {North Holland Publishers Co.},
	author = {J. Mart{\'\i}nez and M. Silva},
	editor = {S.G. Tzafestas}
}

