Describir: Aplikácia pre diagnostiku chýb pomocou modelov - Petriho sietí