RelBib: Discrete, Continuous, and Hybrid Petri Nets https://www.relbib.de/Record/165052806X/FulltextSearch