Naiqi Wu, MengChu Zhou. Tractability of deadlock avoidance problem in automated manufacturing systems modeled with Petri Net. In Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Singapore, 12-15 October 2008. pages 2081-2086, IEEE, 2008. [doi]
Abstract is missing.