Analýza deadlockových stavov v Petriho sieti - Kováč, Miroslav, 1985- (STU v Bratislave FEI, 2011)