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)

Abstract

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
Volume22
Issue number1
DOIs
Publication statusPublished - 1991 Jan
Externally publishedYes

ASJC Scopus subject areas

  • Control and Systems Engineering
  • Theoretical Computer Science
  • Computer Science Applications

Fingerprint Dive into the research topics of 'Modelling and analysis of a semaphore system by an extended stochastic petri net'. Together they form a unique fingerprint.

  • Cite this