Envoyer par SMS: Analýza deadlockových stavov v Petriho sieti