Performance evaluation using unbounded timed Petri nets

Zuberek, W. M. (1989) Performance evaluation using unbounded timed Petri nets. In: Third International Workshop on Petri Nets and Performance Models, 11-13 Dec. 1989, Kyoto, Japan.

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


Unbounded timed Petri nets are place-unbounded free-choice place/transition nets with exponentially distributed firing times associated with transitions of a net. In such nets the finite state space is generated by a finite set of linear equations. The regularity of this linear description can be used for a 'projection' (or 'folding') of the infinite state space into an equivalent finite representation that can be described by a finite set of nonlinear equilibrium equations. The solution of these equations determines the stationary probabilities of the states. Many performance measures can be obtained directly from this stationary solution. Such unbounded nets can eliminate the state explosion problem of some models by using unbounded but simple approximations to bounded but complex models

Item Type: Conference or Workshop Item (Paper)
Item ID: 14609
Department(s): Science, Faculty of > Computer Science
Date: December 1989
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