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

Yoshio Sugasawa, Qun Jin, Jian Ting Zhang, Koichiro Seya

Research output: Contribution to journalArticle

3 Citations (Scopus)


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.

Original languageEnglish
Pages (from-to)217-224
Number of pages8
JournalInternational Journal of Systems Science
Issue number1
Publication statusPublished - 1991 Jan
Externally publishedYes


ASJC Scopus subject areas

  • Computational Theory and Mathematics
  • Management Science and Operations Research
  • Control and Systems Engineering
  • Theoretical Computer Science

Cite this