hrvatski

Vizualizacija obojene Petrijeve mreže

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.

BRITNeY Suite; vizualizacija; CPN; Obojene Petrijeve mreže; CPN Tools; Automat za kavu

nije evidentirano