Markov regenerative stochastic petri nets with age type general transitions

Miklós Telek, Andrea Bobbio

Research output: Conference contribution

13 Citations (Scopus)

Abstract

Markov Regenerative Stochastic Petri Nets (MRSPN) have been recently introduced in the literature with the aim of combining exponential and non-exponential firing times into a single model. However, the realizations of the general MRSPN model, so far discussed, require that at most a single non-exponential transition is enabled in each marking and that its associated memory policy is of enabling type. The present paper extends the previous models by allowing the memory policy to be of age type and by allowing multiple general transitions to be simultaneously enabled, provided that their enabling intervals do not overlap. A final completely developed example, that couldn't have been considered in previous formulations, derives the closed form expressions for the transient state probabilities for a queueing system with preemptive resume (prs) service policy.

Original languageEnglish
Title of host publicationApplication and Theory of Petri Nets 1995 - 16th International Conference, Proceedings
EditorsGiorgio de Michelis, Michel Diaz
PublisherSpringer Verlag
Pages471-489
Number of pages19
ISBN (Print)3540600299, 9783540600299
DOIs
Publication statusPublished - 1995
Event16th International Conference on Application and Theory of Petri Nets, 1995 - Turin, Italy
Duration: jún. 26 1995jún. 30 1995

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume935
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other16th International Conference on Application and Theory of Petri Nets, 1995
CountryItaly
CityTurin
Period6/26/956/30/95

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Markov regenerative stochastic petri nets with age type general transitions'. Together they form a unique fingerprint.

  • Cite this

    Telek, M., & Bobbio, A. (1995). Markov regenerative stochastic petri nets with age type general transitions. In G. de Michelis, & M. Diaz (Eds.), Application and Theory of Petri Nets 1995 - 16th International Conference, Proceedings (pp. 471-489). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 935). Springer Verlag. https://doi.org/10.1007/3-540-60029-9_55