Invia SMS: Dosiahnuteľnosť Petriho siete