随着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.