基于Petri网的机场安检流的分析

在模型中,我们首先证明单位时间内的乘客到达数服从泊松分布。然后我们建立SPN(随机Petri网)模型,通过它和马尔科夫链的同构,我们可以计算出每个库所的平均托肯数。我们把它作为判断瓶颈区域的指标,并给出建议。同时分析了文化差异对于模型带来的影响。