论文部分内容阅读
ＦＭＳ中出现刀具流的死锁现象是由不理想的、不完善的调度策略引起的，这种死锁与物流中的死锁有很大的区别，但没有文献对这种现象系统地研究过。在建立ＦＭＳ运控系统调试环境时，本文旨在预测和确认被测ＦＭＳ运控软件中刀具流的死锁和回避功能。在被测系统Ｐｅｔｒｉ网模型的基础上，根据选定的调度策略，检验刀具流中是否存在死锁的等待环，并提出相应的算法。