A Generalized Stochastic Petri Net Model for Management of Distributed Manufacturing Systems | IEEE Conference Publication | IEEE Xplore