Combining Bond Graphs and Petri Nets Formalism for Modeling Hybrid Dynamic Systems

The hybrid nature of complex systems such Hybrid Dynamic Systems (HDS) makes the modeling, analysis and monitoring tasks very challenging. The complexity due to the hybrid behavior of HDS remains always the most significant reason. However, the graphical models such Bond graph and Petri Nets are extremely appreciable allowing the best description of the internal causalities in HDS. In this paper, we propose a unified formal based approach coupling Bond graphs and Petri Nets theories to model HDS. This approach gives an efficient solution to the transition problematic and serves as theoretical study for complexity reduction of hybrid models.