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

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

研究成果: Article査読

3 被引用数 (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.

本文言語English
ページ(範囲)217-224
ページ数8
ジャーナルInternational Journal of Systems Science
22
1
DOI
出版ステータスPublished - 1991 1
外部発表はい

ASJC Scopus subject areas

  • 制御およびシステム工学
  • 理論的コンピュータサイエンス
  • コンピュータ サイエンスの応用

フィンガープリント

「Modelling and analysis of a semaphore system by an extended stochastic petri net」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル