Optimal Petri-Net Controller for Avoiding Collisions in a Class of Automated Guided Vehicle Systems. - Jiliang Luo; Yaxin Wan; Weimin Wu 002; Zhiwu Li 001 (IEEE Trans. Intell. Transp. Syst., 2020)