Petri net-based modeling and simulation of a hybrid manufacturing system | IEEE Conference Publication | IEEE Xplore