@inbook {1336,
	title = {Verificaci{\'o}n de propiedades en Redes de Petri},
	booktitle = {Sistemas Distribuidos: Modelos y Aplicaciones},
	year = {2001},
	pages = {99-114},
	publisher = {Universidad de Castilla-La Mancha},
	organization = {Universidad de Castilla-La Mancha},
	address = {Albacete, Espa{\~n}a},
	author = {J.M. Colom},
	editor = {V. Valero}
}

