Describir: Stochastické Petriho siete pri modelovaní porúch