In: Robotics and Flexible Manufacturing Systems, S.G. Tzafestas and J.C. Gentina, Elsevier Science Publishers B.V. (North-Holland), Amsterdam, The Netherlands, pages 281-294. 1992.
Abstract: This paper addresses the improvement of throughput upper bounds for live and bounded stochastic Petri nets, presented by the authors in previous works. The introduction of a greater amount of structural information, traps and implicit places, allows to improve the bounds using linear programming problems defined on the net structure, on the routing probabilities, and on the mean service time of transitions. The obtained bounds can be applied for the analysis of amnufacturing systems modelled by means of stochastic Petri nets. An example is presented and evaluated using the introduced techniques.