Using Petri nets for modeling and verification of Hybrid Systems