可执行规格说明ExSpect应用及功能拓展

摘要：

介绍了基于赋时有色petri网(timed coloured Petri net)的可执行的规格说明工具ExSpect(EXecutable SPECification Tool)的基本语言定义，包括类型定义、函数定义、过程定义和系统定义。研究了其复杂系统建模仿真中的应用，并提出了一种将其功能扩展到一般有色网建模的方法。

关键词： Petri网 规格说明 说明工具 语言定义 有色网 建模仿真

作者: 曲长征 张波 陈玉波 高鲁

作者单位: 军械工程学院装备指挥与管理系,石家庄 050003

会议类型: 国内会议

会议名称: 全国第19届计算机技术与应用学术会议(CACIS·2008)

会议地点: 合肥

会议语种:中文

页码: 238-242

在线出版日期: 2008-07-15（万方平台首次上网日期，不代表论文的发表时间）