使用Petri网模型的柔性制造系统中的死锁预防和死锁避免| IEEE期刊和杂志| IEEE Xplore