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