Petri-háló

A Wikipédiából, a szabad enciklopédiából
A lap aktuális változatát látod, az utolsó szerkesztést Pasztilla (vitalap | szerkesztései) végezte 2016. január 10., 11:32-kor. Ezen a webcímen mindig ezt a változatot fogod látni.
(eltér) ← Régebbi változat | Aktuális változat (eltér) | Újabb változat→ (eltér)

A Petri-háló diszkrét elosztott rendszerek matematikai ábrázolása. A Petri-hálókat az 1960-as években Carl Adam Petri határozta meg először. Mivel ez az ábrázolás az egy időben lezajló események megjelenítésére alkalmas, az automataelmélet általánosításának tekinthető.

A Petri-háló helyekből, átmenetekből és irányított élekből mint elemekből áll. Az élek kötik össze a helyeket az átmenetekkel és megfordítva, ugyanakkor a helyek és az átmenetek saját csoportja között nincsen közvetlen éllel megvalósított kapcsolat, azaz a Petri-hálók irányított páros gráfok. Az egyes helyeken tetszés szerinti számú „token” fordulhat elő, amely tokenek akkor kerülnek át a következő helyre (azaz a helyhez kapcsolódó átmenet akkor „tüzel”), ha az átmenethez vezető élek mindegyikén a „tüzelési” feltétel teljesül.

A lap eredeti címe: „https://hu.wikipedia.org/w/index.php?title=Petri-háló&oldid=17070224”