By using stochastic Petri net ( SPN) , runway system constraint equations are built, and then a steady- state probability expression of the system in various states are established in the basis on Markov chain. Furthermore, by changing the transition trigger rate and analyzing the changes of runway utilization, it proved that the model is reachable, unbounded and live.%采用随机Petri网(SPN)建立了跑道系统运行约束方程;通过构造同构马尔科夫链建立了系统处于各种状态时的稳态概率表达式;改变变迁的触发速率,分析跑道利用率的变化情况.证明了模型的可达性、有界性,且不存在死点.
展开▼