Design of Aircraft Circuit Modelling Based on Treble Transitions Petri Nets

This paper presents an approach to modeling aircraft airline maintenance circuit through a particular Petri Nets structures, called Treble transitions Petri Nets. In order to meet the requirements of the simulation of aircraft airline maintenance circuit, several enhancements were proposed. The first of them consider the characteristic of circuit, the places, transitions and arcs of classical Petri Nets are extended. In the Second enhancement, the rules of transitions were modified. Finally, the relating matrix and the state transfer equation are redefined. One case is included illustrating the applicability and efficiency of the proposed modeling method.