An integrated assessment of safety and efficiency of aircraft maintenance strategies using agent-based modelling and stochastic Petri nets

Aircraft maintenance is key for safe and efficient aircraft operations. While most studies propose cost-efficient maintenance strategies, the safety and efficiency of these strategies need to be quantified. This paper proposes a formal framework to assess the safety and efficiency of maintenance strategies by means of agent-based modelling,...