Ramavarapu S. Sreenivas. On a minimally restrictive supervisory policy that enforces liveness in partially controlled free choice Petri nets. In 39th IEEE Conference on Decision and Control, CDC 2000, Sydney, Australia, December 12-15, 2000. pages 2651-2656, IEEE, 2000. [doi]
Abstract is missing.