FMS运控软件的死锁问题及其检测方法  

作　　者：姜浩[1,2] 毕诸明[1,2] 朱岩 

机构地区：[1]东南大学计算机科学与工程系 [2]南京理工大学503教研室

出　　处：《东南大学学报（自然科学版）》1997年第1期11-15,共5页Journal of Southeast University：Natural Science Edition

基　　金：国防科工委"FMS运调软件调试环境系统"项目资助

摘　　要：对于一个ＦＭＳ运控软件的调试环境系统来说，能够检查出被测软件中可能发生的死锁问题是系统能够正常运行的必要条件之一．在被测系统Ｐｅｔｒｉ网模型的基础上，本文提出了一个实用的死锁检测和回避的方法，这种方法计算量小。

关 键 词：柔性制造系统 软件工具 死锁 检测 

分 类 号：TH165[机械工程—机械制造及自动化]