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

摘要

随着petri网理论与应用研究的不断发展,petri网已经成为排队系统建模和仿真的有力工具.介绍了基于petri网的可执行的规格说明语言Exspect及其软件,提出了基于Exspect的排队系统建模的方法,并进行了实例研究。