1 - 3 / 3 1 |
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, bachelor thesis/paper Keywords: verifikacija, barvne Petrijeve mreže, CPN Tools |
3. Verifikacija komunikacijskih protokolov na osnovi barvnih Petrijevih mrež Matej Dolenc, 2015, bachelor thesis/paper Keywords: verifikacija, barvne Petrijeve mreže, CPN Tools |