Model and performance analysis of the flexible manufacturing system based on generalized stochastic Petri net | IEEE Conference Publication | IEEE Xplore