基于ExSpect的排队系统建模与仿真  

Modeling and Simulation of Queue Service System Using ExSpect

作　　者：胡雄鹰[1] 胡斌[1] 张金隆[1] 

机构地区：[1]华中科技大学管理学院,武汉430074

出　　处：《系统仿真学报》2007年第A01期155-157,共3页Journal of System Simulation

基　　金：国家自然科学基金项目(70271029)

摘　　要：随着petri网理论与应用研究的不断发展,petri网已经成为排队系统建模和仿真的有力工具。介绍了基于petri网的可执行的规格说明语言Exspect及其软件,提出了基于Exspect的排队系统建模的方法,并进行了实例研究。With the development of the Petri Net theory and application, Petri Net has been a strong tool of queue system modeling and simulation. The Executable Specification Tool（ExSpect） is introduced and a method of using ExSpect to model queue system is provided, finally, an example is provided.

关 键 词：PETRI网 EXSPECT 排队系统 建模 仿真 

分 类 号：TP391[自动化与计算机技术—计算机应用技术]