A Generalized Stochastic Petri Net Model for Management of Distributed Manufacturing Systems