By Topic

Performance evaluation using unbounded timed Petri nets

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

1 Author(s)
Zuberek, W.M. ; Dept. of Comput. Sci., Memorial Univ. of Newfoundland, St. John''s, Nfld., Canada

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

Published in:

Petri Nets and Performance Models, 1989. PNPM89., Proceedings of the Third International Workshop on

Date of Conference:

11-13 Dec 1989