@inproceedings {RP-86-10,
	title = {Packages for validating discrete production systems modeled with Petri nets},
	year = {1986},
	month = {6},
	pages = {457-462},
	author = {J. Mart{\'\i}nez and M. Silva}
}

