hrvatski

Modeliranje procesa pomoću obojene Petrijeve mreže

U ovom radu je prezentiran razvoj COMMS/CPN sustava. COMMS/CPN je Standard ML biblioteka, koja nadopunjava CPN Tools s nužnom infrastrukturom za uspostavljanje komunikacije između CPN modela i vanjskih procesa. COMMS/CPN nalazi primjenu u brojnim znanstvenim granama, primjerice za omogućavanje vanjskih vizualizacija simulacija, za pružanje grafičkog korisničkog sučelja (engl. Graphical User Interface – GUI), te za omogućavanje interakcije između CPN modela i fizičkog okruženja. COMMS/CPN je uspješno primijenjen za pružanje vanjskih vizualizacija na simulaciji CPN modela u području sustava zrakoplovnih misija. Komunikacija CPN modela s vanjskim procesom prikazana je na primjeru filozofa za večerom, koji se često koristi za predočavanje koncepata na području sinkronizacije procesa i njihovog istovremenog izvršavanja.

Obojena Petrijeva mreža; komunikacijski protokoli

nije evidentirano