@inproceedings {1364,
	title = {Linear Analysis of Deadlock-Freeness of Petri Net Models},
	booktitle = {III Jornadas de Concurrencia},
	year = {1993},
	pages = {175-180},
	publisher = {Universidad Polit{\'e}cnica de Valencia},
	organization = {Universidad Polit{\'e}cnica de Valencia},
	address = {Valencia, Spain},
	author = {E. Teruel and J.M. Colom and M. Silva}
}

