Download:
|
by W. M. Zuberek
in High Performance Computing Symposium 2001 (HPC'01
ftp://ftp.cs.mun.ca/pub/publications/88-ACM.ps.Z
Add To MetaCart
Abstract:
A b s t r a c t It is shown that the behavior of timed Petri nets with deterministic firing times (M--timed nets) can be described within one uniform formalism. Moreover, for both classes of nets the state spaces are homogeneous semi-Markov chains, the stationary probabilities of states and many performance measures can thus be obtained by standard techniques developed for analysis of Markov processes. Because of sparsity of nets as well as corresponding systems of equilibrium equations, list structure representations are proposed, and a general procedure for generation of the state space is outlined to show the required processing of list structures.
Citations
|
470
|
Petri Nets: An Introduction
– Reisig
- 1985
|
|
371
|
Queueing systems
– Kleinrock
- 1975
|
|
232
|
A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems
– Marsan, Conte, et al.
- 1984
|
|
162
|
Performance Analysis using Stochastic Petri Nets
– Molloy
- 1982
|
|
86
|
Analysis of asynchronous concurrent systems by Timed Petri Nets
– Ramchandani
- 1974
|
|
78
|
Recoverability of communication protocols: Implications of a theoretical study
– Merlin, Farber
- 1976
|
|
49
|
Extended Stochastic Petri Nets: Applications and Analysis
– Dugan, rivedi, et al.
- 1984
|
|
24
|
Putting Petri Nets to Work
– Agerwala
- 1979
|
|
10
|
Fundamental Operational Laws of Computer System Performance
– Buzen
- 1976
|
|
9
|
The design of a unified package for the solution of stochastic Petri net models
– Dugan, Bobbio, et al.
- 1985
|
|
7
|
Simulation nets, a simulation modeling and validation tool
– Torn
- 1985
|
|
5
|
The derivation of performance expressions for communication protocols from timed Petri net models
– Razouk
- 1983
|
|
4
|
Petri Net Theory and the Modeling of Systems", Prentice-Hall
– Peterson
- 1981
|
|
4
|
M-Timed Petri Nets, priorities, preemptions, and performance evaluation of systems
– Zuberek
- 1986
|
|
2
|
Concurrent and maximally concurrent evolution of nonsequential systems
– Janicki, Lauer, et al.
- 1986
|
|
2
|
Inhibitor D--timed Petri nets and performance analysis of communication protocols
– Zuberek
- 1986
|
|
1
|
A generalized timed Petri net model for performance evaluation
– Holliday, Vernon
- 1985
|
|
1
|
Modeling and analysis of distributed database concurrency control algorithms using an extended Petri net formalism
– Ozsu
- 1985
|
|
1
|
Tools for efficient analysis of concurrent software systems
– Razouk, Hirschberg
- 1985
|
|
1
|
Use of Petri nets for performance evaluation "; in: "Measuring, modeling and evaluating computer systems", pp.75--93, North-Holland
– Sifakis
- 1977
|
|
1
|
TPNEV, an interactive program for evaluation of timed Petri nets
– Zuberek
|
