Abstract:
To reduce the complexity of computation of performance indices of parallel systems, we present a new exact method combining the aggregation and decomposition methods of the state space. Aggregation is performed by the use of the Stochastic Well-Formed Net (SWN) Petri Net model and decomposition follows tensor methods initiated by Plateau. We generalize our previous work to provide results for asynchronous as well as synchronous composition of submodels. We highlight the problems of such an approach and we derive necessary conditions on the modelled systems that allow for the two methods to be combined. For parallel systems satisfying these necessary conditions, we develop models with corresponding algorithms.
Citations
|
868
|
GMRES: a generalized minimal residual algorithm for solving non-symmetric linear systems
– Saad, Schultz
- 1986
|
|
471
|
Denumerable Markov Chains
– Kemeny, Snell, et al.
- 1966
|
|
99
|
On the stochastic structure of parallelism and synchronisation models for distributed algorithms
– Plateau
- 1985
|
|
55
|
Great SPN 1.7: Graphical Editor and Analyzer for Timed and Stochastic Petri Nets.” Performance Evaluation
– Chiola, Franceschinis, et al.
- 1995
|
|
53
|
Fourneau “A Methodology for Solving Markov Models of Parallel Systems
– Plateau, J-M
- 1991
|
|
51
|
Superposed Generalized Stochastic Petri Nets: Definition and Efficient Solution
– Donatelli
- 1994
|
|
30
|
Stochastic well-formed colored nets and symmetric modeling applications
– Chiola, Dutheillet, et al.
- 1993
|
|
18
|
Aggregation and Reduction Techniques for Hierarchical GCSPNs
– Buchholz
- 1993
|
|
10
|
Evaluation of high level Petri nets by means of aggregation and decomposition
– Haddad, Moreaux
- 1995
|
|
9
|
Kronecker products and shue algebra
– Davio
- 1981
|
|
3
|
Sym#tries dans les r#seaux color#s. D#nition, analyse et application # l'#valuation de performance
– Dutheillet
- 1991
|
|
2
|
Aggregation and decomposition for performance evaluation of asynchronous product of high level Petri nets
– Haddad, Moreaux
- 1997
|
|
2
|
Aggregation and decomposition for performance evaluation of synchronous product of high level Petri nets
– Haddad, Moreaux
- 1996
|