哈尔滨工业大学学报（英文版）2004，Vol.11Issue(4)：405-412,8.
Application of modified banker's algorithm in FMS deadlock problem
Application of modified banker's algorithm in FMS deadlock problem
摘要
Abstract
Presents a method for deadlock avoidance algorithm used in Flexible Manufacturing System(FMS).This method is an improvement of the Banker algorithm. The Banker algorithm is commonly used in the Operating System (OS) , but some improvements will have to be made on the algorithm if this algorithm is used in FMS. The difference between the process in operating system and the job in the FMS is fully discussed. Based on this difference, the improvement is made. In order to improve the algorithm, formal methods are adopted to the manufacturing systems. The simulation model is translated into a format suitable for model checking. That is, the model is written into PROMELA, the input language of the popular model checker SPIN. After that,SPIN is used to verify that the model does not have deadlock. This algorithm proves to be highly effective in praetice.关键词
flexible manufacturing system/deadlock/banker s algorithmKey words
flexible manufacturing system/deadlock/banker s algorithm分类
机械制造引用本文复制引用
徐刚,吴智铭..Application of modified banker's algorithm in FMS deadlock problem[J].哈尔滨工业大学学报（英文版）,2004,11(4):405-412,8.基金项目
Sponsored by the National Natural and Scicnce Foundation(Grant No. 59889505, 60074011 and 70071017). （Grant No. 59889505, 60074011 and 70071017）
