Petri háló alosztályok

A VIK Wikiből
(FormModPetriAloszt szócikkből átirányítva)

Ez az oldal a korábbi SCH wikiről lett áthozva.

Ha úgy érzed, hogy bármilyen formázási vagy tartalmi probléma van vele, akkor, kérlek, javíts rajta egy rövid szerkesztéssel!

Ha nem tudod, hogyan indulj el, olvasd el a migrálási útmutatót.


Véges állapotú gépek (Final State Maschine)

Párhuzamos tevékenységek

  • *Konfliktus*: két eseményt, E1-et és E2-t konfliktusban levőnek nevezünk, ha legfeljebb egyikük következhet be
  • *Konkurens*: két eseményt konkurensnek nevezünk, ha tetszőleges sorrendben bekövetkezhetnek, konfliktusmentesen
  • *Konfúzió*: azon szituációkat, amikben a konfliktus és konkurencia egyidejűleg jelenik meg konfúziónak nevezzük
    • *Szimmetrikus konfúzió*: egyaránt konkurens és konfliktusos, pl ábra szerint t1 és t2 konkurens, mindkettõ konfliktusban van t3 átmenettel
    • *Aszimmetrikus konfúzió*: tüzelési szekvenciától függõen, pl, az ábra szerint t4 és t5 konkurens, de ha t5 tüzel elõbb, akkor t4 konfliktusba kerül t6 átmenettel
Ezen a helyen volt linkelve a konfuzio.PNG nevű kép a régi wiki ezen oldaláról. (Kérlek hozd át ezt a képet ide, különben idővel el fog tűnni a régi wikivel együtt)

Adatfolyamhálók

Jellegzetes alkalmazásai

-- adamo - 2006.04.02.