Statistical Model Checking for Hybrid Petri Nets with Multiple General Transitions | IEEE Conference Publication | IEEE Xplore