Hybrid Modeling of Control System Based on Hybrid Petri Nets | IEEE Conference Publication | IEEE Xplore