TY - JOUR PY - 1997 J2 - IEEE Trans. Autom. Control SN - 0018-9286 T2 - IEEE Transactions on Automatic Control VL - 42 IS - 7 DO - 10.1109/9.599972 TI - On the Existence of Supervisory Policies That Enforce Liveness in Discrete-Event Dynamic-Systems Modeled by Controlled Petri Nets UR - https://www.cheric.org/research/tech/periodicals/view.php?seq=81408 KW - LOGIC AU - Sreenivas RS SP - 928 EP - 945 LA - English ER -