文献类型：期刊文章

作　　者：曲长征[1] 于永利[1] 金伟[1] 高鲁[1]

机构地区：[1]军械工程学院管理工程系,石家庄050003

出　　处：《系统仿真学报》

年　　份：2005

卷　　号：17

期　　号：12

起止页码：3011-3013

语　　种：中文

收录情况：BDHX、BDHX2004、CAS、CSCD、CSCD2011_2012、EI(收录号：2005529617951)、IC、INSPEC、JST、RCCSE、SCOPUS、ZGKJHX、核心刊

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

关 键 词：PETRI网 EXSPECT 离散事件动态系统 建模  

分 类 号：TP391]