@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} }