Modeling and verification of hybrid dynamic systems using multisingular hybrid Petri nets
multisingular hybrid Petri nets (MSHPNs)
scientific article; zbMATH DE number 6064624