Naslov
Vizualizacija obojene Petrijeve mreže
(Coloured Petri net visualisation)

Autori
Ivančić, Josip

Vrsta, podvrsta i kategorija rada
Ocjenski radovi, diplomski rad, diplomski

Fakultet
Fakultet elektrotehnike i računarstva

Mjesto
Zagreb

Datum
11.07

Godina
2013

Stranica
57

Mentor
Jevtić, Dragan

Neposredni voditelj
Bagić, Marina

Ključne riječi
BRITNeY Suite; vizualizacija; CPN; Obojene Petrijeve mreže; CPN Tools; Automat za kavu
(BRITNeY Suite; visualization; CPN; Colored Petri Nets; CPN Tools; Coffee machine)

Sažetak
Obojene Petrijeve mreže (Colored Petri Nets - CPN) se pokazuju izuzetno pogodnim modelom za dizajniranje i analizu kompleksnih sustava verifikaciju modela ponašanja ili zahtjeva nad očekivanim ponašanjem sustava. Za razumijevanje obojene Petrijeve mreže potrebno je temeljito poznavanje CPN formalizma što ne mora biti slučaj kod spcijaliziranih eksperata iz drugih područja. Zbog toga ekspert teško može uočiti probleme i pogreške u samom CPN modelu iako načelno razumije sam model. S druge pak strane postoji mogućnost pogrešaka ako dizajnirani model nije temeljito validiran s obzirom na područje primjene. Zbog toga je realizirano programsko pomagalo pod nazivom BRITNeY koje omogućuje vizualizaciju stanja i prijelaza te time pomaže ekspertu nekog područja da lakše uoči pogreške odnosno validira sam CPN model.

Izvorni jezik
Hrvatski

Znanstvena područja
Elektrotehnika

POVEZANOST RADA