"hybrid Petri nets" . . "hybrid Petri nets" . .