THE USE OF FORMAL DESCRIPTION OF SYSTEMS' BEHAVIOR CREATING MARKOV MODELS

Abstract

The paper considers a method for construction of numerical models for systems described by Markov processes with discrete states and continuous time. The approach of the consequence embedding of Markov chains is used for computing stationary probabilities of Markov processes. The performance of the system described in the piece-linear aggregate approach is used for generating the system of Kolmogorov equations. An example of a numerical model for the data transmission tract with the adaptive commutation is presented.