. . "Hybrid Petri net" . "Hybrid Petri net" .