基于ExSpect的复杂离散事件动态系统建模

被引：14

作者：

曲长征

于永利

金伟

高鲁

机构：

[1] 军械工程学院管理工程系

来源：

系统仿真学报 | 2005年 / 12期

关键词：

Petri网; ExSpect; 离散事件动态系统; 建模;

D O I：

10.16182/j.cnki.joss.2005.12.045

中图分类号：

TP311.52 [];

学科分类号：

摘要：

随着petri理论与应用研究的不断发展,petri网已经成为离散事件动态系统建模和分析的有力工具。采用petri网对复杂离散事件动态系统进行建模和分析,没有一套科学的建模方法指导和有力的软件支持是不可能实现的。介绍了基于Petri网的可执行的规格说明语言Exspect及其软件,提出了基于Exspect的复杂离散事件动态系统建模的方法,并进行了实例研究。

引用

页码：3011 / 3013+3018 +3018

页数：4