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
Publication statusPublished - 1991 Jan
Externally publishedYes

Fingerprint

Stochastic Petri Nets
Petri nets
Modeling
Markov Renewal Process
Concurrent Systems
Parallel Systems
Petri Nets
Markov processes
Model

ASJC Scopus subject areas

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

Cite this

Modelling and analysis of a semaphore system by an extended stochastic Petri net. / Sugasawa, Yoshio; Jin, Qun; Zhang, Jian Ting; Seya, Koichiro.

In: International Journal of Systems Science, Vol. 22, No. 1, 01.1991, p. 217-224.

Research output: Contribution to journalArticle

Sugasawa, Yoshio ; Jin, Qun ; Zhang, Jian Ting ; Seya, Koichiro. / Modelling and analysis of a semaphore system by an extended stochastic Petri net. In: International Journal of Systems Science. 1991 ; Vol. 22, No. 1. pp. 217-224.
@article{f0000b63e2f94bae8b3a988cfbc7b2b3,
title = "Modelling and analysis of a semaphore system by an extended stochastic Petri net",
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.",
author = "Yoshio Sugasawa and Qun Jin and Zhang, {Jian Ting} and Koichiro Seya",
year = "1991",
month = "1",
language = "English",
volume = "22",
pages = "217--224",
journal = "International Journal of Systems Science",
issn = "0020-7721",
publisher = "Taylor and Francis Ltd.",
number = "1",

}

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

M3 - Article

AN - SCOPUS:0025899731

VL - 22

SP - 217

EP - 224

JO - International Journal of Systems Science

JF - International Journal of Systems Science

SN - 0020-7721

IS - 1

ER -