摘要
采用随机Petri网(SPN)建立了跑道系统运行约束方程;通过构造同构马尔科夫链建立了系统处于各种状态时的稳态概率表达式;改变变迁的触发速率,分析跑道利用率的变化情况。证明了模型的可达性、有界性,且不存在死点。
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.
出处
《航空计算技术》
2012年第5期9-12,16,共5页
Aeronautical Computing Technique
基金
天津市自然科学基金项目资助(10JCYBJC00 800)
关键词
跑道利用率
随机PETRI网
马尔科夫链
稳态概率
runway utilization rate
stochastic Petri net
markov chain
steady-state probability
