%0 Conference Paper %B Second European Control Conference, ECC'93 %D 1993 %T Linear Analysis of Deadlock-Freeness of Petri Net Models %A E. Teruel %A J.M. Colom %A M. Silva %C Gröningen, The Netherlands %I North Holland %P 513-518 %V 2 %8 06/1993