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

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

doi:10.1080/00207729108910602

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 journal › Article › peer-review

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 language	English
Pages (from-to)	217-224
Number of pages	8
Journal	International Journal of Systems Science
Volume	22
Issue number	1
DOIs	https://doi.org/10.1080/00207729108910602
Publication status	Published - 1991 Jan
Externally published	Yes

ASJC Scopus subject areas

Control and Systems Engineering
Theoretical Computer Science
Computer Science Applications

Access to Document

10.1080/00207729108910602

Cite this

@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 = jan,

doi = "10.1080/00207729108910602",

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

U2 - 10.1080/00207729108910602

DO - 10.1080/00207729108910602

M3 - Article

AN - SCOPUS:0025899731

SN - 0020-7721

VL - 22

SP - 217

EP - 224

JO - International Journal of Systems Science

JF - International Journal of Systems Science

IS - 1

ER -

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

Abstract

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this