Describir: Discrete, Continuous, and Hybrid Petri Nets