Dosiahnuteľnosť Petriho siete - Matula, Martin, 1988- (STU v Bratislave FEI, 2010)