Modeling of hybrid systems using continuous and hybrid Petri nets | IEEE Conference Publication | IEEE Xplore