Text this: Analýza deadlockových stavov v Petriho sieti