Simulation of hybrid systems based on interpreted Petri nets

A modelling approach for hybrid systems using interpreted Petri nets is described. An implementation of the proposed method for software tools is presented. With the help of the hybrid two tank benchmark problem, the implementation is shows to be accurate. A comparison with other tools shows good results.