Linearly unbounded timed Petri nets in modelling and performance evaluation

Zuberek, W. M. (1989) Linearly unbounded timed Petri nets in modelling and performance evaluation. In: 32nd Midwest Symposium on Circuits and Systems (MSCAS-89),, 14-16 Aug. 1989, Champaign, IL, USA.

[img] [English] PDF - Accepted Version
Available under License Creative Commons Attribution Non-commercial.

Download (134kB)

Abstract

Linearly unbounded time Petri nets are free-choice place/transition nets with exponentially distributed firing times associated with transitions of a net in which the infinite state space is generated by a finite set of linear equations. This linear description can be used for reduction of the infinite state space into an equivalent finite representation that can be easily solved for stationary probabilities of states. Many performance measures can be obtained directly from the stationary solution.

Item Type: Conference or Workshop Item (Paper)
URI: http://research.library.mun.ca/id/eprint/14791
Item ID: 14791
Department(s): Science, Faculty of > Computer Science
Date: August 1989
Date Type: Submission
Digital Object Identifier (DOI): https://doi.org/10.1109/MWSCAS.1989.101816
Related URLs:

Actions (login required)

View Item View Item

Downloads

Downloads per month over the past year

View more statistics