Throughput analysis in timed Petri nets

Zuberek, W. M. (1993) Throughput analysis in timed Petri nets. In: Proceedings of the 35th Midwest Symposium on Circuits and Systems, 9-12 August, 1992, Washington, DC, USA.

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

Download (118kB)


It is shown that the steady-state behavior of a class of timed Petri nets can be analyzed by using the concept of throughput and simple rules of operational analysis. Since such an analysis is based on the average values of firing times rather than firing time distribution functions, the same approach can be applied to a variety of net models. Throughput analysis uses structural properties of nets only. It avoids the potential problems of reachability analysis, and can be applied to unbounded nets. However, it does not provide as much information as can be obtained from analysis of the state space. Simple examples of D-timed and M-timed nets are used as an illustration of the proposed approach.

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