/petrinet-sim

Gui application of Petri nets simulator written in C++/Qt.

Primary LanguageC++

Autori: Michal Lukáč xlukac05, Michal Muráň xmuran00

Popis:
Pokiaľ sa spúšťa program cez qt creator, spustite program v Release Mode a server pustite vždy s parametrom určujúci číslo portu.
Výsledný program slúži na editáciu a simuláciu Petriho sietí. V programe sa nachádzajú dva módy Simulation and Editing mode.
V programe je možné meniť farby, tvary a písmo prvkov v Petriho sieti.
Implicitne servej beží na porte 7123 a obsahuje vytvorený účet login=admin a password=admin. Ďalej sa na servery nachádzajú 2 ukážkové siete v niekoľkých verziách.
Na lokálnom uložisku v priečinku examples sa nachádza jedna ukážková sieť v niekoľkých verziách.

Editácia:
V programe je možné vytvárať a editovať Petriho siete. Sieť je možné si uložiť lokálne alebo na server.
Pri každom spustení programu je uživateľ vyzvaný k pripojení sa k serveru.
Pri vytváraní hrany Arc medzi miestom Place a prechodom Transition treba tieto prvky označiť.
Editácia je možná iba v Edit mode, pomocou action Edit alebo dvojklikom na grafický item(place,transition,arc).
U hrany Arc je možné editovať jej názov a smer.
U miesta Place sa edituje názov a tokeny.
U prechdou Transition sa dá nastaviť názov, podmienka a operácia.
Uživateľ má možnosť si vytvoriť účet na servery. 
Vďaka prístupu na server si môže zobraziť údaje o uložených sieťach a zvoliť si súbor, ktorý si stiahne a automaticky uloží lokálne a zobrazí v programe.

Simulácia:
Pre simuláciu si musí uživateľ stiahnuť súbor zo serveru. 
Sú dve možnosti simulácie krokovanie a spustenie celej simulácie.
Pri krokovaní si uživateľ musí zvoliť prechod, ktorý chce vyhodnotiť.
Pri krokovaní nie je možné na klientovi spúšťať ďalšie simulácie dokým dáná simulácia nie je ukončená tlačítkom pre koniec simulácie. Pre viac simulácií naráz treba spustiť ďalšieho klienta.
Pri celkovej simulácií je nastavení počet iterácií na 25.