UL/FRI/UNI-RI/MIS/Errata prosojnic
Iz E-študij, proste zakladnice študentskega znanja
Vsebina |
Errata MIS prosojnic:
Razširitev Petrijevih mrež [1-72]
V Petrijeve mreže vpeljemo inhibicijski vhod, za katerega velja, da je prehod izbran samo v primeru, ko mesto, ki je povezano na inhibicijski vhod, nima žetonov.
Strežni sistem s končno populacijo zahtev (nad.) [4-36]
πk = π0... namesto λ(M − 1) je λ(M − i)
Strežni sistem M/Eq/1 (nad.) [5-18]
Neprekinitveni model procesiranja (nad.) [7-8]
Nip = λiWp , i = p, p+1,..., P (na prosojnicah piše λiWi)