[1]姜浩,毕诸明,朱岩.FMS运控软件的死锁问题及其检测方法[J].东南大学学报(自然科学版),1997,27(1):11-15.[doi:10.3969/j.issn.1001-0505.1997.01.003]
 [J].Journal of Southeast University (Natural Science Edition),1997,27(1):11-15.[doi:10.3969/j.issn.1001-0505.1997.01.003]
点击复制

FMS运控软件的死锁问题及其检测方法()
分享到:

《东南大学学报(自然科学版)》[ISSN:1001-0505/CN:32-1178/N]

卷:
27
期数:
1997年第1期
页码:
11-15
栏目:
计算机科学与工程
出版日期:
1997-01-20

文章信息/Info

作者:
姜浩毕诸明朱岩
东南大学计算机科学与工程系; 南京理工大学503教研室
关键词:
柔性制造系统 软件工具 测试 Petri网 死锁
分类号:
TP391.73
DOI:
10.3969/j.issn.1001-0505.1997.01.003
摘要:
对于一个FMS运控软件的调试环境系统来说,能够检查出被测软件中可能发生的死锁问题是系统能够正常运行的必要条件之一.在被测系统Petri网模型的基础上,本文提出了一个实用的死锁检测和回避的方法,这种方法计算量小,具有通用性

相似文献/References:

[1]程正潮,沈军,任国林.FDPE:一个支持二阶段软件模型的CASE环境[J].东南大学学报(自然科学版),1993,23(1):100.[doi:10.3969/j.issn.1001-0505.1993.01.014]
 Cheng Zhengchao,Shen Jun,Ren Guolin,et al.A CASE Environment for Supporting 2-Stage Software Model[J].Journal of Southeast University (Natural Science Edition),1993,23(1):100.[doi:10.3969/j.issn.1001-0505.1993.01.014]
[2]姜浩,毕诸明,朱岩.FMS运行控制系统的建模方法及测试机理[J].东南大学学报(自然科学版),1997,27(1):16.[doi:10.3969/j.issn.1001-0505.1997.01.004]
 [J].Journal of Southeast University (Natural Science Edition),1997,27(1):16.[doi:10.3969/j.issn.1001-0505.1997.01.004]

备注/Memo

备注/Memo:
国防科工委“FMS运调软件调试环境系统”项目资助
更新日期/Last Update: 2013-04-13