作者：徐刚; 吴智铭柔性制造系统死锁银行家算法
摘要：提出了一种应用于柔性制造系统中的避免死锁的算法.该算法是对银行家算法的改进.银行家算法适用于操作系统,而操作系统与柔性制造系统之间存在差异,为使该算法适用于柔性制造系统,必须对其进行改进.通过研究操作系统中的进程与制造系统中的加工任务之间的差别,对算法进行改进.对制造系统采用形式化的建模方法,将建立的模型转换成适合进行模型检查的形式.运用SPIN来对此算法进行仿真,并验证此算法模型的正确性.
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
