Skip to main content
Journal cover image

Markov regenerative stochastic Petri nets

Publication ,  Journal Article
Choi, H; Kulkarni, VG; Trivedi, KS
Published in: Performance Evaluation
January 1, 1994

Stochastic Petri nets of various types (SPN, GSPN, ESPN, DSPN etc.) are recognized as useful modeling tools for analyzing the performance and reliability of systems. The analysis of such Petri nets proceeds by utilizing the underlying continuous-time stochastic processes - continuous-time Markov chains for SPN and GSPN, semi-Markov processes for a subset of ESPNs and Markov regenerative processes for DSPN. In this paper, we introduce a new class of stochastic Petri nets, called Markov Regenerative Stochastic Petri Nets (MRSPNs), that can be analyzed by means of Markov regenerative processes and constitutes a true generalization of all the above classes. The MRSPNs allow immediate transitions, exponentially distributed timed transitions and generally distributed timed transitions. With a restriction that at most one generally distributed timed transition be enabled in each marking, the transient and steady state analysis of MRSPNs can be carried out analytically-numerically rather than by simulation. Equations for the solution of MRSPNs are developed in this paper, and are applied to an example. © 1994.

Duke Scholars

Published In

Performance Evaluation

DOI

ISSN

0166-5316

Publication Date

January 1, 1994

Volume

20

Issue

1-3

Start / End Page

337 / 357

Related Subject Headings

  • Networking & Telecommunications
  • 49 Mathematical sciences
  • 46 Information and computing sciences
  • 10 Technology
  • 08 Information and Computing Sciences
  • 01 Mathematical Sciences
 

Citation

APA
Chicago
ICMJE
MLA
NLM
Choi, H., Kulkarni, V. G., & Trivedi, K. S. (1994). Markov regenerative stochastic Petri nets. Performance Evaluation, 20(1–3), 337–357. https://doi.org/10.1016/0166-5316(94)90021-3
Choi, H., V. G. Kulkarni, and K. S. Trivedi. “Markov regenerative stochastic Petri nets.” Performance Evaluation 20, no. 1–3 (January 1, 1994): 337–57. https://doi.org/10.1016/0166-5316(94)90021-3.
Choi H, Kulkarni VG, Trivedi KS. Markov regenerative stochastic Petri nets. Performance Evaluation. 1994 Jan 1;20(1–3):337–57.
Choi, H., et al. “Markov regenerative stochastic Petri nets.” Performance Evaluation, vol. 20, no. 1–3, Jan. 1994, pp. 337–57. Scopus, doi:10.1016/0166-5316(94)90021-3.
Choi H, Kulkarni VG, Trivedi KS. Markov regenerative stochastic Petri nets. Performance Evaluation. 1994 Jan 1;20(1–3):337–357.
Journal cover image

Published In

Performance Evaluation

DOI

ISSN

0166-5316

Publication Date

January 1, 1994

Volume

20

Issue

1-3

Start / End Page

337 / 357

Related Subject Headings

  • Networking & Telecommunications
  • 49 Mathematical sciences
  • 46 Information and computing sciences
  • 10 Technology
  • 08 Information and Computing Sciences
  • 01 Mathematical Sciences