Hybrid Petri nets based approach for analyzing complex dynamic systems

This paper presents a mapping algorithm to deal with a new class of hybrid Petri net (HPN) called Discrete Continue elementary HPN. The method enables us to analyze some system's properties using the linear hybrid automaton generated by the mapping process. The method is applied to a three tanks water system and analyzed by a PHAVer software tool. Its effectiveness is illustrated by numerical simulation results.