M-timed Petri nets and Markov chains in modelling of computer systems

Zuberek, W. M. (1986) M-timed Petri nets and Markov chains in modelling of computer systems. In: 14-th ACM Annual Computer Science Conference (CSC’86), February 4–6, 1986, Cincinnati, OH.

[img] [English] PDF (The version available in this research repository is a postprint. It has the same peer-reviewed content as the published version, but lacks publisher layout and branding.) - Accepted Version
Available under License Creative Commons Attribution Non-commercial.

Download (205kB)

Abstract

It is shown that the behavior of enhanced free-choice bounded M-timed Petri nets, i.e., Petri nets with two classes of transitions, immediate and timed ones, and with exponentially distributed firing times of timed transitions, can be represented by state-transition graphs which are finite continuous-time homogeneous Markov chains. Moreover, for each finite continuous-time homogeneous Markov chain there exists an enhanced free-choice bounded M-timed Petri net with the state-transition graph isomorphic to this chain. These two classes of models are thus equivalent. A straight-forward application of (enhanced) M-timed Petri nets is modelling and performance evaluation of Markovian queueing systems, and in particular closed-network models of computer systems. Simple models of interactive systems are used as an illustration of modelling. as an illustration of modelling.

Item Type: Conference or Workshop Item (Paper)
URI: http://research.library.mun.ca/id/eprint/14957
Item ID: 14957
Department(s): Science, Faculty of > Computer Science
Date: February 1986
Date Type: Completion
Digital Object Identifier (DOI): https://doi.org/10.1145/324634.325210
Related URLs:

Actions (login required)

View Item View Item

Downloads

Downloads per month over the past year

View more statistics