Modeling and simulation of hybrid control systems by Global Petri Nets | IEEE Conference Publication | IEEE Xplore