Enviar por SMS: Analýza deadlockových stavov v Petriho sieti