Modeling and Simulation of Queue Service System Using ExSpect
Jinlong Zhang · Jisuanji fangzhen · 2007
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.