Describir: Metody analiza stochatičeskich setevych modelej vyčisliteľnych sistem /