In: IEEE Transactions on Robotics and Automation, Vol. 6, No. 6, pages 621-639. December 1990.
Abstract: Generalized stochastic Petri net (GSPN) modules are used as basic building blocks to model and analyze complex manufacturing systems. This modular approach facilitates model construction. The structural analysis ensures that the model is live and bounded, which guarantees that the equivalent Markov chain is ergodic. The temporal analysis is used to derive performance measures. The straightforward application of this approach is demonstrated and reviewed for several manufacturing case studies. For serial transfer lines it is proven that this modular approach results in live and bounded GSPN models.
Keywords: performance evaluation (of) automated manufacturing system(s); generalized stochastic net; live (and) bounded net; ergodic Markov chain; serial transfer line.
Back to the Petri Nets Bibliography