Non-regenerative stochastic Petri nets

Modeling and analysis

Qun Jin, Yoneo Yano, Yoshio Sugasawa

Research output: Contribution to journalArticle

1 Citation (Scopus)

Abstract

We develop a new class of stochastic Petri net: non-regenerative stochastic Petri net (NRSPN), which allows the firing time of its transitions with arbitrary distributions, and can automatically generate a bounded reachability graph that is equivalent to a generalization of the Markov renewal process in which some of the states may not constitute regeneration points. Thus, it can model and analyze behavior of a system whose states include some non-regeneration points. We show how to model a system by the NRSPN, and how to obtain numerical solutions for the NRSPN model. The probabilistic behavior of the modeled system can be clarified with the reliability measures such as the steady-state probability, the expected numbers of visits to each state per unit time, availability, unavailability and mean time between system failure. Finally, to demonstrate the modeling ability and analysis power of the NRSPN model, we present an example for a fault-tolerant system using the NRSPN and give numerical results for specific distributions.

Original languageEnglish
Pages (from-to)1781-1790
Number of pages10
JournalIEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
VolumeE79-A
Issue number11
Publication statusPublished - 1996
Externally publishedYes

Fingerprint

Stochastic Petri Nets
Petri nets
Modeling
Markov Renewal Process
Fault-tolerant Systems
Power Analysis
Regeneration
Reachability
Model
Markov processes
Availability
Numerical Solution
Numerical Results
Unit
Arbitrary
Graph in graph theory
Demonstrate

Keywords

  • Behavior modeling
  • Fault tolerance
  • Markov renewal process
  • Reliability analysis
  • Stochastic Petri nets

ASJC Scopus subject areas

  • Electrical and Electronic Engineering
  • Hardware and Architecture
  • Information Systems

Cite this

Non-regenerative stochastic Petri nets : Modeling and analysis. / Jin, Qun; Yano, Yoneo; Sugasawa, Yoshio.

In: IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, Vol. E79-A, No. 11, 1996, p. 1781-1790.

Research output: Contribution to journalArticle

@article{9de258ae276442a8babbc1f8026a7121,
title = "Non-regenerative stochastic Petri nets: Modeling and analysis",
abstract = "We develop a new class of stochastic Petri net: non-regenerative stochastic Petri net (NRSPN), which allows the firing time of its transitions with arbitrary distributions, and can automatically generate a bounded reachability graph that is equivalent to a generalization of the Markov renewal process in which some of the states may not constitute regeneration points. Thus, it can model and analyze behavior of a system whose states include some non-regeneration points. We show how to model a system by the NRSPN, and how to obtain numerical solutions for the NRSPN model. The probabilistic behavior of the modeled system can be clarified with the reliability measures such as the steady-state probability, the expected numbers of visits to each state per unit time, availability, unavailability and mean time between system failure. Finally, to demonstrate the modeling ability and analysis power of the NRSPN model, we present an example for a fault-tolerant system using the NRSPN and give numerical results for specific distributions.",
keywords = "Behavior modeling, Fault tolerance, Markov renewal process, Reliability analysis, Stochastic Petri nets",
author = "Qun Jin and Yoneo Yano and Yoshio Sugasawa",
year = "1996",
language = "English",
volume = "E79-A",
pages = "1781--1790",
journal = "IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences",
issn = "0916-8508",
publisher = "Maruzen Co., Ltd/Maruzen Kabushikikaisha",
number = "11",

}

TY - JOUR

T1 - Non-regenerative stochastic Petri nets

T2 - Modeling and analysis

AU - Jin, Qun

AU - Yano, Yoneo

AU - Sugasawa, Yoshio

PY - 1996

Y1 - 1996

N2 - We develop a new class of stochastic Petri net: non-regenerative stochastic Petri net (NRSPN), which allows the firing time of its transitions with arbitrary distributions, and can automatically generate a bounded reachability graph that is equivalent to a generalization of the Markov renewal process in which some of the states may not constitute regeneration points. Thus, it can model and analyze behavior of a system whose states include some non-regeneration points. We show how to model a system by the NRSPN, and how to obtain numerical solutions for the NRSPN model. The probabilistic behavior of the modeled system can be clarified with the reliability measures such as the steady-state probability, the expected numbers of visits to each state per unit time, availability, unavailability and mean time between system failure. Finally, to demonstrate the modeling ability and analysis power of the NRSPN model, we present an example for a fault-tolerant system using the NRSPN and give numerical results for specific distributions.

AB - We develop a new class of stochastic Petri net: non-regenerative stochastic Petri net (NRSPN), which allows the firing time of its transitions with arbitrary distributions, and can automatically generate a bounded reachability graph that is equivalent to a generalization of the Markov renewal process in which some of the states may not constitute regeneration points. Thus, it can model and analyze behavior of a system whose states include some non-regeneration points. We show how to model a system by the NRSPN, and how to obtain numerical solutions for the NRSPN model. The probabilistic behavior of the modeled system can be clarified with the reliability measures such as the steady-state probability, the expected numbers of visits to each state per unit time, availability, unavailability and mean time between system failure. Finally, to demonstrate the modeling ability and analysis power of the NRSPN model, we present an example for a fault-tolerant system using the NRSPN and give numerical results for specific distributions.

KW - Behavior modeling

KW - Fault tolerance

KW - Markov renewal process

KW - Reliability analysis

KW - Stochastic Petri nets

UR - http://www.scopus.com/inward/record.url?scp=0030289848&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0030289848&partnerID=8YFLogxK

M3 - Article

VL - E79-A

SP - 1781

EP - 1790

JO - IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

JF - IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

SN - 0916-8508

IS - 11

ER -