Discrete, Continuous, and Hybrid Petri Nets