文献类型：期刊文章

作　　者：毕诸明[1] 李小宁[1] 朱岩[1] 黄新燕[1] 张雯[1] 姜浩[2]

机构地区：[1]南京理工大学制造工程系,南京210094 [2]东南大学计算机系,南京210008

出　　处：《南京理工大学学报》

基　　金：国防科技预研行业重点攻关基金项目

年　　份：1996

卷　　号：20

期　　号：2

起止页码：136-138

语　　种：中文

收录情况：AJ、CAS、CSCD、CSCD_E2011_2012、IC、INSPEC、NSSD、SCOPUS、UPD、ZGKJHX、普通刊

摘　　要：FMS运行控制软件调试环境的主要职能是利用计算机模拟柔性制造系统环境．为FMS运行控制系统或单元控制器提供一种计算机辅助形式的调试和测试手段．其中，对FMS运行控制软件测试排错是FMS运控软件调试环境的基本功能之一。该文在Petri网（PN）理论基础上，在库所中引入结构，提出一种新的高级PN模型MPN（Macto Petri Net），这种模型对币同的FMS环境配置具有开放性．测试驱动下的运控指令序列转化为对应的MPN状态变迁，可应用PN理论实现对被测系统软件的测试排错。

关 键 词：控制系统理论  计算机应用 应用程序 FMS 运行控制软件调试环境  排错功能  

分 类 号：TH165]