In: International Journal of Systems Science, Vol. 22, No. 1, pages 217-224. January 1991.
Abstract: The authors apply a Petri net to model a semaphore system. A Markov renewal process is introduced to the model, which is defined as an extended stochastic Petri net. Probabilistic behaviour of the semaphore system can thus be clarified. Finally, a case study is given.
Keywords: modelling (and) analysis (of) semaphore systems (by) extended stochastic net(s); Markov renewal process.