Zuberek, W. M. (1993) Throughput analysis in timed colored Petri nets. In: 1993 IEEE International Symposium on Circuits and Systems, 3-6 May 1993, Chicago, IL, USA.
[English]
PDF
- Submitted Version
Available under License Creative Commons Attribution Non-commercial. Download (105kB) |
Abstract
It is shown that the steady-state behavior of a class of timed colored Petri nets can be analyzed by using the concept of throughput and simple rules of operational analysis. Since such analysis is based on the average value of firing times rather than firing time distribution functions, the same approach can be applied to a variety of net models. Throughput analysis is based on structural properties of nets only, so it avoids the potential complexity of reachability analysis, and can be used for analysis of unbounded nets.
Item Type: | Conference or Workshop Item (Paper) |
---|---|
URI: | http://research.library.mun.ca/id/eprint/14690 |
Item ID: | 14690 |
Department(s): | Science, Faculty of > Computer Science |
Date: | May 1993 |
Date Type: | Completion |
Digital Object Identifier (DOI): | https://doi.org/10.1109/ISCAS.1993.394329 |
Related URLs: |
Actions (login required)
View Item |