TY - JOUR
T1 - Modelling and analysis of a semaphore system by an extended stochastic petri net
AU - Sugasawa, Yoshio
AU - Jin, Qun
AU - Zhang, Jian Ting
AU - Seya, Koichiro
PY - 1991/1
Y1 - 1991/1
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=0025899731&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=0025899731&partnerID=8YFLogxK
U2 - 10.1080/00207729108910602
DO - 10.1080/00207729108910602
M3 - Article
AN - SCOPUS:0025899731
SN - 0020-7721
VL - 22
SP - 217
EP - 224
JO - International Journal of Systems Science
JF - International Journal of Systems Science
IS - 1
ER -