Invia SMS: Analýza deadlockových stavov v Petriho sieti