Title: Discrete, continuous, and hybrid petri nets