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.

[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)

Abstract

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

Actions (login required)

View Item