Hybrid Petri Nets and Analysis of Its Reachability

Hybrid system is a type of sophisticated system which consists of interactive discrete event dynamic systems and continuous variable dynamic systems. A new type of hybrid Petri net is proposed, which can not only describe and analyze deterministic discrete events, but also deal with the concurrent problem concerning discrete events or continuous evolution. If the hybrid net is simplified properly, the timed Petri net model and logic Petri net model of the original system can be obtained. Therefore, the objective systems could be researched under the same theoretic framework in DES, RTDES and HS respectively. In addition, an algorithm is presented in order to compute the set of reachable states in hybrid system.