%0 Journal Article
%T 银行家算法在柔性制造系统中的改进和应用
%A 徐刚
%A 吴智铭
%J 计算机集成制造系统
%P 0-0
%D 2004
%X 提出了一种应用于柔性制造系统中的避免死锁的算法。该算法是对银行家算法的改进。银行家算法适用于操作系统，而操作系统与柔性制造系统之间存在差异，为使该算法适用于柔性制造系统，必须对其进行改进。通过研究操作系统中的进程与制造系统中的加工任务之间的差别，对算法进行改进。对制造系统采用形式化的建模方法，将建立的模型转换成适合进行模型检查的形式。运用SPIN来对此算法进行仿真，并验证此算法模型的正确性。
%K 柔性制造系统
%K 死锁
%K 银行家算法
%U http://www.cims-journal.cn/CN/abstract/abstract476.shtml