A Petri hálók dinamikus viselkedése

Ez az oldal a korábbi SCH wiki-ről lett áthozva. Az eredeti változata itt érhető el.

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

<br\>

Tüzelés

• *Engedélyezett tranzíció*:
  • Egy tranzíció tüzelése engedélyezett, ha minden bemenő helyén legalább annyi token van, mint a bemenő helyet és a tranzíciót összekötő él súlya (gyenge tüzelési szabály).
  • Egy engedélyezett t tranzíció tetszése szerint tüzelhet vagy nem tüzelhet (a tüzelés nemdeterminisztikus).
  • Tüzelés során a tranzíció a bemenő helyekről w-(p,t) tokent vesz el, a kimenő helyekre pedig w+(p,t) tokent rak.
  • Véges kapacitású helyek esetén t csak akkor tüzelhet, hogyha egyik p kimenő helyén sem haladná meg a tokenek száma a kapacitáskorlátot (erős tüzelési szabály).

A tüzelés algebrai jellemzése

• Szomszédossági mátrix W = |w(t,p)|| (mérete: ||T|| x ||P)

w(t,p): azt mondja meg, hogy a t. tranzíció tüzelése mennyivel változtatja meg a p helyen lévő tokenszámot (az elvett és hozzáadott tokenek előjeles összege). Az M állapotból a Petri háló a t. tranzíció tüzelésére a következő állapotba megy át: M’ = M + WTet

PN-ben(ahol engedélyezett az önhurok), ott a szomszédsági mátrix értelemszerűen "csal", hisz nem mutatja az önhurok dolgait. 

Tüzelési szekvencia

Kiegészítő helytranszformáció Kapacitáskorlát nélküli petri hálóval modellez véges kapacitáskorlátú petri hálót. Minden p helyhez felvesz egy p’ helyet, ami a még ki nem használt kapacitását adminisztrálja.

Tüzelési szám

Tüzelési szám A tüzelési szám vektor egy tüzelési szekvencia egyes tranzícióinak előfordulási számait adja meg. Egy ti tranzíció X(ti) tüzelési száma a vektor i-edik eleme.

Állapotegyenlet

Állapotegyenlet Egy tiszta petri háló állapotegyenlete: M0 – Mn = WT

A tüzelési szemantika módosítása

• *Prioritás*: Prioritásos esetben egy t tranzíció akkor tüzelhet, ha engedélyezett és nincs az ő prioritásánál nagyobb prioritású engedélyezett tranzíció
• kapacitáskorlát
• *tiltó élek*: Ha egy tranzícióhoz valamely bemenő helyről tiltó él kapcsolódik, akkor a tranzíció nem tüzelhet, ha a bemenő helyen a tiltó él kapacitásánál több vagy egyenlő token van.

Kérdések-válaszok

Prioritás

Egy prioritási szinten belül az aktivizálandó tüzelés kiválasztása kötött sorrendben történik.	*HAMIS*	Nem, mert nemdeterminisztikusan
Egy adott token eloszlás esetén az engedélyezett átmenetek között levő feleakkora prioritású átmenetek feleakkora valószínűséggel tüzelhetnek, mint a náluk kétszer akkora prioritással rendelkező engedélyezett átmenetek.	*HAMIS*	Előbb a magasabb prioritásúak tüzelnek, csak utána az alacsonyabbak.
Ha egy helyből egy kisebb és egy nagyobb prioritású időzítetlen tranzícióba egyaránt vezet él, akkor nincs olyan tüzelési szekvencia, amelyben a kisebb prioritású tranzíció tüzelése megelőzi a nagyobb prioritású tranzíció tüzelését.	*HAMIS*	Nem biztos, hogy egyszerre lesznek engedélyezettek, így a kisebb prioritású lehet akkor is engedélyezett, amikor a nagyobb prioritású nem az.

==

Minden helyhez még egy adminisztrációs helyet és egy korlátozó tranzíciót veszünk fel, tiltó élekkel összekötve	*HAMIS*	Minden helyhez csak egy adminisztrációs helyet veszünk fel. Korlátozó tranzícióról szó sincs...
Minden tranzícióhoz rendelünk egy adminisztrációs helyet	*HAMIS*	helyesen: "minden helyhez..."
A létrejövő társháló és az eredeti háló gyenge tüzelési szabályt feltételezve azonos tüzelési szekvenciát produkál	*HAMIS*	Az eredeti háló erős és a társháló gyenge tüzelési szabályát feltételezve lesznek azonosak a tüzelési szekvenciák
Egy adminisztrációs hely kezdőállapota a (hozzátartozó) korlátozott kapacitású hely kihasználatlan kapacitása	*IGAZ*	így inicializáljuk a társhálót.

-- adamo - 2006.04.02.