Zaslať SMS: Aplikácia pre diagnostiku chýb pomocou modelov - Petriho sietí