In: 2: Computer Math. Application, Vol. 24, No. 1. 1992.
Abstract: Stochastic Petri Nets have been developed to model and analyze systems involving concurrent activities with which the time associated is exponentially distributed. In this paper, we present an Extended Stochastic Petri Net that allows the firing times of its transitions to non-exponential distributions. We use it to model and analyze a multi-robot system with parallel and cooperative motions in the context of a generalized Markov Renewal Process. The modelling flexibility of Petri Net and the analyzing power of Markov Renewal Process are fully exploited.