|
|||||
|
|
| FMS运控软件的死锁问题及其检测方法 | |
| 作者姓名： | 姜浩 毕诸明 朱岩 |
| 作者单位： | 东南大学计算机科学与工程系，南京理工大学５０３教研室 |
| 基金项目： | 国防科工委“FMS运调软件调试环境系统”项目资助 |
| 摘 要： | 对于一个ＦＭＳ运控软件的调试环境系统来说，能够检查出被测软件中可能发生的死锁问题是系统能够正常运行的必要条件之一．在被测系统Ｐｅｔｒｉ网模型的基础上，本文提出了一个实用的死锁检测和回避的方法，这种方法计算量小，具有通用性 |
| 关 键 词： | 柔性制造系统；软件工具；测试；Petri网；死锁 |
| 本文献已被 CNKI 等数据库收录！ | |