For the most recent entries see the Petri Nets Newsletter.

Linearly Unbounded Timed Petri Nets in Modelling and Performance Evaluation.

Zuberek, W.M.

In: Proceedings of the 32nd Midwest Symposium on Circuits and Systems, 1989, Champaign, IL, USA, pages 149-152. Piscataway, NJ, USA: IEEE Service Center, 1990.

Abstract: Linearly unbounded timed 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.

Keywords: linearly unbounded timed net; free-choice place/transition net; exponentially distributed firing time; stationary probability; performance measure.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography