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

fYear

1992

Firstpage

874

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Industrial Electronics, 1992., Proceedings of the IEEE International Symposium on

Conference_Location

Xian

Print_ISBN

0-7803-0042-4

Type

conf

DOI

10.1109/ISIE.1992.279721

Filename

279721