Week 4
Diszkrét eseményű rendszerek és Petri-hálók
A hét végén fel tudsz rajzolni egy egyszerű sort Petri-hálóként, és meg tudod mutatni, hol állhat be holtpont.
What the week covers
04. Diszkrét eseményű rendszerek és Petri-hálók
Állapot, esemény, egyidejűség: a termelés formális leírása, és a holtpont, amit rajzon látni lehet.
Concepts of the week · 9
- Discrete-event systemOlyan rendszer, amelynek állapota nem folytonosan, hanem eseményekre ugrik. Két esemény között semmi nem történik.
- StateMinden információ, ami a rendszer jövőjének leírásához a múltból szükséges.
- EventPillanatszerű történés, amely állapotátmenetet vált ki.
- Petri netHelyekből, átmenetekből és tokenekből álló modell. Elsősorban viselkedést ír le: párhuzamosságot, erőforrás-megosztást, állapotot.
- ReachabilityElérhető-e egy adott állapot az indulóból megengedett lépések sorozatával.
- BoundednessEgy hely tokenszáma minden elérhető állapotban korlátos marad. Gyakorlatban: a puffer nem fut túl.
- LivenessMinden átmenet minden elérhető állapotból újra tüzelhetővé tehető. Gyakorlatban: semmi nem hal ki véglegesen.
- DeadlockOlyan állapot, amelyből egyetlen átmenet sem tüzelhet. A rendszer nem hibás — csak megállt, és magától nem indul el.
- Incidence matrixA háló szerkezete mátrixként: mely átmenet mely helyről vesz el és melyikre tesz tokent.
Mission
The line is deadlocked
Két gép, egy robot, egy puffer — és egy állapot, amelyből nincs kiút. Petri-hálóként kell felrajzolni, megmutatni a holtpontot, és feloldani a lehető legkisebb változtatással.
A hallgató a holtpontot nem tapasztalatból sejti meg, hanem a jelölés és az elérhetőség alapján mutatja ki.
koncepció