Title :
A formalistic method for the performance evaluation of communication networks of distributed computing systems
Author :
Tunik, Anatol A. ; Kharlashkin, I.A.
Author_Institution :
Dept. of Flight Control & Navigation Syst., Kiev Inst. of Civil Aviation Eng., Ukraine
Abstract :
The authors describe a method for the performance evaluation of communication networks of distributed systems. This method consists of: logical transition from the network architecture under consideration to an associated Petri net based model and adaptation to a generalized stochastic Petri net (GSPN); automatic generation of the state transition rate diagram of a Markov Chain (MC) from the reachability graph of GSPN due to isomorphism between the stochastic Petri nets and homogeneous MC; computation of the steady state probabilities which are used for the evaluation of system performance indices. The method was implemented in a software package. An application of this method to performance evaluation of a simple three-processor system with distributed common memory is also presented
Keywords :
Markov processes; Petri nets; data communication systems; performance evaluation; Markov Chain; Petri net based model; communication networks; distributed computing systems; formalistic method; generalized stochastic Petri net; isomorphism; performance evaluation; reachability graph; software package; state transition rate diagram; steady state probabilities; three-processor system; Adaptation model; Application software; Communication networks; Computer architecture; Computer networks; Petri nets; Software packages; Steady-state; Stochastic systems; System performance;
Conference_Titel :
Industrial Electronics, 1992., Proceedings of the IEEE International Symposium on
Conference_Location :
Xian
Print_ISBN :
0-7803-0042-4
DOI :
10.1109/ISIE.1992.279721
