article

Free access

Applications of non-Markovian stochastic Petri nets

Authors:

Ricardo M. Fricks,

Antonio Puliafito,

Miklós Telek,

Kishor S. TrivediAuthors Info & Claims

ACM SIGMETRICS Performance Evaluation Review, Volume 26, Issue 2

Pages 15 - 27

https://doi.org/10.1145/288197.288204

Published: 01 August 1998 Publication History

PDF eReader

Abstract

Petri nets represent a powerful paradigm for modeling parallel and distributed systems. Parallelism and resource contention can easily be captured and time can be included for the analysis of system dynamic behavior. Most popular stochastic Petri nets assume that all firing times are exponentially distributed. This is found to be a severe limitation in many circumstances that require deterministic and generally distributed firing times. This has led to a considerable interest in studying non-Markovian models. In this paper we specifically focus on non-Markovian Petri nets. The analytical approach through the solution of the underlying Markov regenerative process is dealt with and numerical analysis techniques are discussed. Several examples are presented and solved to highlight the potentiality of the proposed approaches.

Cited By

View all

Hristoski IKoltovska Nechoska DDimovski T(2020)Parallel Processing of HTTP Requests in E-Commerce: A Modeling FrameworkNew Technologies, Development and Application III10.1007/978-3-030-46817-0_57(491-498)Online publication date: 5-May-2020
https://doi.org/10.1007/978-3-030-46817-0_57
Distefano STrivedi KCochran JCox LKeskinocak PKharoufeh JSmith J(2011) Transient Behavior of CTMCs Wiley Encyclopedia of Operations Research and Management Science10.1002/9780470400531.eorms0916Online publication date: 15-Feb-2011
https://doi.org/10.1002/9780470400531.eorms0916
Distefano SCochran JCox LKeskinocak PKharoufeh JSmith J(2011)Standby Redundant SystemsWiley Encyclopedia of Operations Research and Management Science10.1002/9780470400531.eorms0824Online publication date: 15-Feb-2011
https://doi.org/10.1002/9780470400531.eorms0824
Show More Cited By

Recommendations

Non-Markovian Petri nets
SIGMETRICS '95/PERFORMANCE '95: Proceedings of the 1995 ACM SIGMETRICS joint international conference on Measurement and modeling of computer systems

Non-Markovian models allow us to capture a very wide range of circumstances in which it is necessary to model phenomena whose times to occurrence is not exponentially distributed. Events such as timeouts in a protocol, service times at a machine ...
From Stochastic Petri Nets to Markov Regenerative Stochastic Petri Nets
MASCOTS '95: Proceedings of the 3rd International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems

In this paper we survey the Petri net literature and focus on Petri nets with generally distributed transition firing times. In the framework of Markov regenerative stochastic Petri nets (MRSPN) we develop and solve two examples to illustrate the ...
A Characterization of the Stochastic Process Underlying a Stochastic Petri Net

Stochastic Petri nets (SPN's) with generally distributed firing times can model a large class of systems, but simulation is the only feasible approach for their solution. We explore a hierarchy of SPN classes where modeling power is reduced in exchange ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM SIGMETRICS Performance Evaluation Review

ACM SIGMETRICS Performance Evaluation Review Volume 26, Issue 2

Special issue on Stochastic Petri Nets

August 1998

47 pages

ISSN:0163-5999

DOI:10.1145/288197

Editor:
Scott Leutenegger
Univ. of Denver, Denver, CO

Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 August 1998

Published in SIGMETRICS Volume 26, Issue 2

Check for updates

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

5
Total Citations
View Citations
616
Total Downloads

Downloads (Last 12 months)87
Downloads (Last 6 weeks)13

Reflects downloads up to 13 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Hristoski IKoltovska Nechoska DDimovski T(2020)Parallel Processing of HTTP Requests in E-Commerce: A Modeling FrameworkNew Technologies, Development and Application III10.1007/978-3-030-46817-0_57(491-498)Online publication date: 5-May-2020
https://doi.org/10.1007/978-3-030-46817-0_57
Distefano STrivedi KCochran JCox LKeskinocak PKharoufeh JSmith J(2011) Transient Behavior of CTMCs Wiley Encyclopedia of Operations Research and Management Science10.1002/9780470400531.eorms0916Online publication date: 15-Feb-2011
https://doi.org/10.1002/9780470400531.eorms0916
Distefano SCochran JCox LKeskinocak PKharoufeh JSmith J(2011)Standby Redundant SystemsWiley Encyclopedia of Operations Research and Management Science10.1002/9780470400531.eorms0824Online publication date: 15-Feb-2011
https://doi.org/10.1002/9780470400531.eorms0824
Bucci GFedeli ASassoli LVicario E(2004)Timed State Space Analysis of Real-Time Preemptive SystemsIEEE Transactions on Software Engineering10.1109/TSE.2004.126581530:2(97-111)Online publication date: 1-Feb-2004
https://dl.acm.org/doi/10.1109/TSE.2004.1265815
Bradley JDingle NHarrison PKnottenbelt W(2003)Performance queries on semi-Markov stochastic Petri nets with an extended continuous stochastic logic10th International Workshop on Petri Nets and Performance Models, 2003. Proceedings.10.1109/PNPM.2003.1231543(62-71)Online publication date: 2003
https://doi.org/10.1109/PNPM.2003.1231543

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Non-Markovian Petri nets

From Stochastic Petri Nets to Markov Regenerative Stochastic Petri Nets

A Characterization of the Stochastic Process Underlying a Stochastic Petri Net