Keyi Xing, Baosheng Hu. Optimal liveness Petri net controllers with minimal structures for automated manufacturing systems. In Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Waikoloa, Hawaii, USA, October 10-12, 2005. pages 282-287, IEEE, 2005. [doi]
Abstract is missing.