Vedúci práce:
Študijný program:
Popis:
Hybridné Petriho siete umožňujú modelovať tak diskrétne udalostné, ako aj spojité a hybridné systémy. Práca sa zaoberá pridaním formalizmu hybridných Petriho sietí do existujúceho editora PNeditor. Predpokladá sa znalosť programovacieho jazyka Java.