Stochastické Petriho siete pri modelovaní porúch - Zapatický, Michal (STU v Bratislave FIIT, 2011)