On a Sufficient Information Structure for Supervisory Policies That Enforce Liveness in a Class of General Petri Nets. - V. Deverakonda; R. S. Sreenivas (IEEE Trans. Autom. Control., 2015)