@inproceedings {199,
	title = {Linear Analysis of Deadlock-Freeness of Petri Net Models},
	booktitle = {Second European Control Conference, ECC{\textquoteright}93},
	volume = {2},
	year = {1993},
	month = {06/1993},
	pages = {513-518},
	publisher = {North Holland},
	organization = {North Holland},
	address = {Gr{\"o}ningen, The Netherlands},
	author = {E. Teruel and J.M. Colom and M. Silva}
}

