| 基于ExSpect的复杂离散事件动态系统建模 |
| |
| 引用本文： | 曲长征,于永利,金伟,高鲁. 基于ExSpect的复杂离散事件动态系统建模[J]. 系统仿真学报, 2005, 17(12): 3011-3013,3018 |
| |
| 作者姓名： | 曲长征 于永利 金伟 高鲁 |
| |
| 作者单位： | 军械工程学院管理工程系,石家庄,050003 |
| |
| 摘 要： | 随着petri理论与应用研究的不断发展，petri网已经成为离散事件动态系统建模和分析的有力工具。采用petri网对复杂离散事件动态系统进行建模和分析，没有一套科学的建模方法指导和有力的软件支持是不可能实现的。介绍了基于Petri网的可执行的规格说明语言Exspect及其软件，提出了基于Exspect的复杂离散事件动态系统建模的方法，并进行了实例研究。
|
| 关 键 词： | Petri网 ExSpect 离散事件动态系统 建模 |
| 文章编号： | 1004-731X（2005）12-3011-04 |
| 收稿时间： | 2004-10-19 |
| 修稿时间： | 2004-10-192005-06-08 |
Modeling Complex Discrete Event Dynamic System Using ExSpect |
| |
| QU Chang-zheng,YU Yong-li,JIN Wei,GAO Lu. Modeling Complex Discrete Event Dynamic System Using ExSpect[J]. Journal of System Simulation, 2005, 17(12): 3011-3013,3018 |
| |
| Authors: | QU Chang-zheng YU Yong-li JIN Wei GAO Lu |
| |
| Affiliation: | Department of Management Engineering, Ordnance Engineering College, Shijiazhuang 050003, China |
| |
| Abstract: | By the development of the theory and application, Petri Net has been a strong tool of discrete event dynamic system modeling and analysis. It is impossible to do it without the scientific modeling method and computer software. The Executable Specification Tool: ExSpect were introduced and a method of using ExSpect to model complex discrete event dynamic system was provided. At last, an example wasprovided. |
| |
| Keywords: | Petri Net ExSpect discrete event dynamic system model |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
