Throughput analysis of simple closed timed Petri net models

It is shown that for some classes of closed timed Petri net models the steady-state behavior can be determined on the basis of structural properties only (i.e., without reachability analysis), using the concept of throughput and simple rules of operational analysis. Throughput analysis is based on the average values of firing times rather than firing time distribution functions, so the same approach can be used for a variety of net models. Bounded as well as unbounded (but ergodic) net models can be analyzed by the proposed approach.<<ETX>>

[1]  Steven C. Bruell,et al.  Throughput Bounds for Generalized Stochastic Petri Net Models , 1985, PNPM.

[2]  C. Ramchandani,et al.  Analysis of asynchronous concurrent systems by timed petri nets , 1974 .

[3]  Giuseppe Serazzi,et al.  Measurement and Tuning of Computer Systems , 1984, Int. CMG Conference.

[4]  Peter J. Denning,et al.  The Operational Analysis of Queueing Network Models , 1978, CSUR.

[5]  Giovanni Chiola,et al.  Tight polynomial bounds for steady-state performance of marked graphs , 1989, Proceedings of the Third International Workshop on Petri Nets and Performance Models, PNPM89.

[6]  Joseph Sifakis,et al.  Use of Petri nets for performance evaluation , 1977, Acta Cybern..

[7]  Wolfgang Reisig.  Petri Nets: An Introduction , 1985, EATCS Monographs on Theoretical Computer Science.

[8]  Kishor S. Trivedi,et al.  SPNP: stochastic Petri net package , 1989, Proceedings of the Third International Workshop on Petri Nets and Performance Models, PNPM89.

[9]  Marco Ajmone Marsan,et al.  A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems , 1984, TOCS.

[10]  W. M. Zuberek.  D-timed Petri nets and modelling of timeouts and protocol , 1987 .

[11]  Wlodzimierz M. Zuberek,et al.  Throughput analysis in timed Petri nets , 1992, [1992] Proceedings of the 35th Midwest Symposium on Circuits and Systems.

[12]  Kishor S. Trivedi,et al.  The Design of a Unified Package for the Solution of Stochastic Petri Net Models , 1985, PNPM.

[13]  Wlodzimierz M. Zuberek,et al.  M–TIMED PETRI NETS, PRIORITIES, PREEMPTIONS, AND PERFORMANCE EVALUATION OF SYSTEMS , 2007 .

[14]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.