Performance evaluation of concurrent systems using timed petri nets

Zuberek, W. M. (1985) Performance evaluation of concurrent systems using timed petri nets. In: ACM 13-th Annual Computer Science Conference, March 12-14, 1985, New Orleans, LA, USA.

[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 (138kB)


It is shown that the behavior of Petri nets with exponentially distributed firing times can be represented by labeled directed “state” graphs in which labels describe the probabilities of transitions between vertices of the graph. For bounded Petri nets the corresponding state graphs are finite, and are isomorphic to finite state Markov chains, stationary descriptions can thus be obtained by standard techniques. An immediate application of such a model is performance analysis of concurrent systems, and in particular queueing systems with exponentially distributed arrival and service times. A simple example of an interactive computer system model is used as an illustration of performance evaluation.

Item Type: Conference or Workshop Item (Paper)
Item ID: 14956
Department(s): Science, Faculty of > Computer Science
Date: March 1985
Date Type: Completion
Digital Object Identifier (DOI):
Related URLs:

Actions (login required)

View Item View Item


Downloads per month over the past year

View more statistics