S. Chandrasekaran, R. S. Sreenivas. On the automatic generation of the minimally restrictive liveness enforcing supervisory policy for manufacturing- and service-systems modeled by a class of general Free Choice Petri nets. In Proceedings of 10th IEEE International Conference on Networking, Sensing and Control, ICNSC 2013, Evry, France, April 10-12, 2013. pages 392-397, IEEE, 2013. [doi]
Abstract is missing.