A Petri net application for energy management in aeronautical networks

In this paper, the implementation of an Intelligent Load Power Management (I-LPM) strategy for an aeronautical electrical network using a Petri net based approach will be discussed. The control strategy for I-LPM implementation will be presented following a step-by-step approach. In details, a rigorous method for translating the requirements that describe the desired energy management logic in a formal Petri net will be discussed. Next, in order to verify the Petri net correctness in terms of qualitative properties, a number of reduction techniques steps will be applied, eventually deriving a straightforward net where some basic properties will be verified by direct inspection. Finally, simulation results will evidence how the first Petri net so far derived can be applied, as a consequence of the successful verification of its basic properties, as a supervisory control strategy for the I-LPM of a basic aeronautical electrical network, as well as the obtained advantages over a traditional energy management strategy.