avtomatska analiza gibanja v izbranih moštvenih športnih igrah

142 Dodatek
koraku lahko tako pride do proˇzenja katere koli izmed treh prehodov, vendar pa
pride najprej do proˇzenja prehoda t3, saj je ta prehod takojˇsen, kar pomeni,
da se proˇzi takoj za tem, ko je omogočen. Celoten iterativni postopek se lahko
ponavlja, dokler ne pridemo do nekega ˇzelenega končnega stanja mreˇze, vendar
pa moramo v fazi načrtovanja mreˇze paziti, da je to stanje dejansko dosegljivo.
C.4.2 Nadgradnja osnovnega koncepta Petrijeve mreˇze
S časom se je osnovni koncept Petrijevih mreˇz razvijal v različnih smereh.
Posledica tega so različne nadgrandje osnovnega koncepta Petrijevih mreˇz, od
katerih so najbolj razˇsirjeni in najpogosteje uporabljeni naslednji:
• Časovne Petrijeve mreˇze (ang. Time Petri Nets). Bistvo časovni
PM je uvedba časa v mehanizem proˇzenja prehodov v mreˇzi. Tako lahko
pride do proˇzenja mreˇze po preteku določenega časa, v katerem je nek
prehod omogočen. Obstajajo različni principi merjenja tega časa v primeru,
ko je bil prehod sicer omogočen, a je priˇslo do proˇzenja drugega prehoda,
zaradi česar postane dotični prehod onemogočen. Med temi mehanizmi
sta najpogosteje uporabljena Nadaljevalni mehanizem (ang. Continue)
in Ponastavitveni mehanizem (ang. Reset). V prvem primeru pride do
seˇstevanja časov omogočenosti prehoda, medtem ko se v drugem primeru čas
v primeru, da postane prehod onemogočen, resetira na nič. Tako začne čas
v prvem primeru ob ponovni omogočenosti prehoda teči iz stare vrednosti,
medtem ko začne v drugem primeru čas vedno teči znova.
• Barvne (podatkovne) Petrijeve Mreˇze (ang. Coloured Petri
Nets). Bistvo Barvnih petrijevih mreˇz je v tem, da se ˇzetoni uporabljajo
kot nosilci neke dodatne informacije o predmetu ali stanju, ki ga v mreˇzi
predstavljajo. Tako lahko na primer pri modeliranju industrijske linije za
izdelavo avtomobila ˇzetoni nosijo informacijo o barvi avtomobila, vgrajenem
tipu motorja in drugih podatkih, ki so povezani s samim procesom izdelave.
• Hierarhične Petrijeve Mreˇze (ang. Hierarchy Petri Nets). Bistvo
Hierarhičnih Petrijevih mreˇz je moˇznost zdruˇzevanja različnih ločenih
Petrijevih mreˇz, ki na primer ponazarjajo delovanje nekega podsistema
v neko skupno mreˇzo, pri čemer lahko modeliramo hierarhijo med
posameznimi enotami.