Hybrid systems, especially in the form of cyber physical systems, have become ubiquitous and are playing critical roles in the functioning of society, however their design and implementation are extremely difficulty, especially regarding their dependability. In this paper, we propose a hybrid high level Petri net formalism, hybrid predicate transition nets (HPrTNs), for modeling and analyzing hybrid systems. We discuss some critical concepts and features of HPrTNs. We demonstrate the applicability of HPrTNs through several well-known benchmark hybrid systems and compare our results with other relevant methods. HPrTNs are fully supported in the tool environment PIPE+.
