1 - 2 / 2 ![]() ![]() ![]() ![]() |
1. Analiza in zgled uporabe programskega orodja "CPN Tools" za postavljanje modelov dinamičnih sistemov Darko Božić, 2012, undergraduate thesis Keywords: Petrijeve mreže, barvne Petrijeve mreže, modeliranje, CPN Tools, računalništvo, univerzitetni študij, diplomske naloge |
2. Verifikacija komunikacijskih protokolov na osnovi barvnih Petrijevih mrež Matej Dolenc, 2015, undergraduate thesis Keywords: verifikacija, barvne Petrijeve mreže, CPN Tools |