装备维修保障的随机Petri网模型及分析

建立了装备维修保障系统的随机Petri（SPN）模型，应用SPN与马尔可夫链理论相结合的分析方法。为维修保障系统性能评估提供了理论依据。最后，通过实例分析了系统状态空间、各状态在稳态下的期望概率、系统可靠性和维修人员的工作强度。实例表明，相比传统的Petri网建模方法，在分析装备维修保障各状态间的逻辑关系和系统动态过程中，SPN具有显著的有效性和优越性。

Model and analysis of Equipment Maintenance Support Based on Stochastic Petri Nets

The model of equipment maintenance support is set using stochastic Petri net, and a method of combining Petri net and Markov chain was used to analyze the performance of maintenance support systems effectively. In the end, the determination of state space, expectation frequency and duration of each state, the reliability of the system and the working intensity of maintainers are analyzed through an example. Compared with traditional Petri net modeling methods, in the course of analyzing the state space and logic relation among the state and the dynamic process of the system, SPN is discovered to be more effective and superior.