The Modelling and Analysis of Integrated Avionics System based on Stochastic Petri Net

This paper describes a stochastic Petri Net-based analysis method of integrated avionics system.Firstly,the Petri Net model of bus system of integrated avionics system is presented,and some important indices of system model are given.Secondly,the results of performance indices analysis of stationary master are finalized through calculations.Lastly,the conclusion that the modelling and analysis of integrated avionics system based on stochastic Petri Net is feasible could be drawn through comparison.