共 5 条
[5]
离散事件动态系统的PN机理论[M]. 科学出版社 , 蒋昌俊著, 2000
控制软件设计与验证计算机辅助系统
被引：3
作者：
蒋昌俊
张鹏
叶志宝
机构：
[1] 同济大学计算机科学与工程系!上海
[2] 山东科技大学计算机科学系!泰安
[3] 中国科学院软件研究所!北京
来源：
关键词：
Control software;
Verification;
Design;
System;
Petri net;
D O I：
暂无
中图分类号：
TH166 [计算机集成制造];
学科分类号：
080202 ;
摘要：
介绍了控制软件设计与验证系统的原理与实现过程 ,给出顺序功能图[1] (Se quentialFunctionCharts,即SFC)需求说明语言到系统Petri网模型的转化算法和系统几种异常现象的验证算法 ,讨论了系统实现的若干关键技术 ,最后通过例子演示了系统的操作过程
引用
收藏
页码：62 / 65
页数：4
相关论文