Text this: Discrete, continuous, and hybrid Petri Nets /