Modelling and analysis of a semaphore system by an extended stochastic petri net

Providing a particularly effective means to model a concurrent or parallel system, a Petri net is here applied 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 with assumed numerical values is given.