UL/FRI/VSP-RI/OMIS
Iz E-študij, proste zakladnice študentskega znanja
| Abecedni seznam zapiskov
Predava: Miha Mraz Vaje vodi: Andrej Jazbec Povezave:
(Za kolokvije ustvari stran) Izpitni red: Kako poteka ocenjevanje, ... Ostalo:
Ključne besede: OMIS |
Osnove modeliranja in simulacije
Vsebina |
Snov
Splošna teorija strežbe
- Strežni sistemi
- Numerični atributi strežnega sistema
- Littleo-ov teorem
- Uporabnostni faktor
- Zakon o ohranitvi pretoka
- Poissonov proces
- Stohastični proces
- Markovski proces
- Markovske verige
Petrijeve mreže
- Petrijeve mreže
- Petrijev graf
- Dualna Petrijeva mreža
- Inverzna Petrijeva mreža
- Označevanje v Petrijevi mreži
- Izvajanje Petrijeve mreže
- Prostor stanj Petrijeve mreže
- Dosegljivost Petrijeve mreže
- Značilnosti Petrijevih mrež
- Modeliranje s Petrijevo mrežo
- Povezovanje Petrijevih mrež z zunanjim svetom
- Načini povezovanja
- Prevedba končnega avtomata v Petrijevo mrežo
- Drugi primeri modeliranja s Petrijevo mrežo
- Sinhronizacija v Petrijevih mrežah
- Matrični zapis Petrijeve mreže
- Razširitev Petrijevih mrež
- Modeliranje porazdeljenih procesov
- Časovne Petrijeve mreže
- Jezik Petrijevih mrež