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

• 作者: 于永利 曲长征 金伟 高鲁
• 来源期刊: 系统仿真学报
• 学科: 工学
• 关键词: Petri网 ExSpect 离散事件动态系统 建模
• 年，卷（期）: 2005,（12）
• 所属期刊栏目: 复杂系统建模与仿真
• 页码范围: 3011-3013,3018
• 页数: 4页
• 分类号: TP391
• 字数: 3696字
• 语种: 中文
• DOI: 10.3969/j.issn.1004-731X.2005.12.045

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	高鲁	军械工程学院管理工程系	43	168	6.0	11.0
2	曲长征	军械工程学院管理工程系	47	226	8.0	11.0
3	于永利	军械工程学院管理工程系	122	803	12.0	21.0
4	金伟	军械工程学院管理工程系	5	64	3.0	5.0