Petri网的基本信标及其在柔性制造系统死锁预防中的应用| IEEE Journals&Magazine | IEEE Xplore