Analysis of hybrid Petri nets based on the hybrid state equation | IEEE Conference Publication | IEEE Xplore