Modelling and analysis of a semaphore system by an extended stochastic Petri net
DOI10.1080/00207729108910602zbMath0707.68060OpenAlexW2094248372MaRDI QIDQ3489472
Qun Jin, Jianting Zhang, Yoshio Sugasawa, Koichiro Seya
Publication date: 1991
Published in: International Journal of Systems Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/00207729108910602
Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Applications of Markov renewal processes (reliability, queueing networks, etc.) (60K20)
Cites Work
This page was built for publication: Modelling and analysis of a semaphore system by an extended stochastic Petri net
