### Abstract

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 performing the same task on each part, and memory access or instruction execution in a low-level h/w or s/w model, have durations which are constant or with a very low variance. Phase-type distributions can be used to approximate a non-exponential, but they increase the size of the state space. The analysis of stochastic systems with nonexponential timing is of increasing interest in the literature and requires the development of suitable modeling tools. Recently, some effort has been devoted to generalize the concept of Stochastic Petri Nets (SPN), by allowing the firing times to be generally distributed. A particular case of non-Markovian SPN, is the class of Deterministic and SPN (DSPN) [1]. A DSPN is a non-Markovian SPN where, in each marking, at most one transition is allowed to have a deterministic firing time with enabling memory policy. A new class of stochastic Petri nets has recently been defined [2, 3] by generalizing the deterministic firing times of the DSPN to generally distributed firing times. The underlying stochastic process for these classes of Petri nets is a Markov Regenerative Process (MRGP). This observation has opened a very fertile line of research aimed at the definition of solvable classes of models whose underlying marking process is an MRGP, and therefore referred to as Markov Regenerative Stochastic Petri Nets (MRSPN). Some of the results in this filed will be described in the session. In particular, Ciardo investigates stochastic confusion by defining the selection probability for transitions attempting to fire at the same time. German introduces the "method of supplementary variables" for the derivation of state equations describing the transient behavior of the marking process. Puliafito describes how, under some constraints, concurrent enabling of several generally distributed timed transitions is allowed. Bobbio and Telek discuss how age memory policy can be included to capture preemptive mechanisms of the resume (prs) type.

Original language | English |
---|---|

Title of host publication | Proceedings of the 1995 ACM SIGMETRICS Joint International Conference on Measurement and Modeling of Computer Systems, SIGMETRICS 1995/PERFORMANCE 1995 |

Editors | Blaine D. Gaither |

Publisher | Association for Computing Machinery, Inc |

Pages | 263-264 |

Number of pages | 2 |

ISBN (Electronic) | 0897916956, 9780897916950 |

DOIs | |

Publication status | Published - May 1 1995 |

Event | 1995 ACM SIGMETRICS Joint International Conference on Measurement and Modeling of Computer Systems, SIGMETRICS 1995/PERFORMANCE 1995 - Ottawa, Canada Duration: May 15 1995 → May 19 1995 |

### Publication series

Name | Proceedings of the 1995 ACM SIGMETRICS Joint International Conference on Measurement and Modeling of Computer Systems, SIGMETRICS 1995/PERFORMANCE 1995 |
---|

### Other

Other | 1995 ACM SIGMETRICS Joint International Conference on Measurement and Modeling of Computer Systems, SIGMETRICS 1995/PERFORMANCE 1995 |
---|---|

Country | Canada |

City | Ottawa |

Period | 5/15/95 → 5/19/95 |

### ASJC Scopus subject areas

- Hardware and Architecture
- Software
- Computer Networks and Communications
- Computational Theory and Mathematics

## Fingerprint Dive into the research topics of 'Non-Markovian Petri Nets'. Together they form a unique fingerprint.

## Cite this

*Proceedings of the 1995 ACM SIGMETRICS Joint International Conference on Measurement and Modeling of Computer Systems, SIGMETRICS 1995/PERFORMANCE 1995*(pp. 263-264). (Proceedings of the 1995 ACM SIGMETRICS Joint International Conference on Measurement and Modeling of Computer Systems, SIGMETRICS 1995/PERFORMANCE 1995). Association for Computing Machinery, Inc. https://doi.org/10.1145/223587.223616