E. Salimi, N. Somnath, Ramavarapu S. Sreenivas. On supervisory policies that enforce liveness in controlled Petri nets that are similar. In 7th International Conference on Cybernetics and Intelligent Systems, CIS 2015, and IEEE Conference on Robotics, Automation and Mechatronics, RAM 2015, Siem Reap, Cambodia, July 15-17, 2015. IEEE, 2015. [doi]
Abstract is missing.