https://vik.wiki/index.php?action=history&feed=atom&title=A_Petri_h%C3%A1l%C3%B3k_dinamikus_viselked%C3%A9se 2026-04-21T23:31:04Z Az oldal laptörténete a wikiben MediaWiki 1.43.6 https://vik.wiki/index.php?title=A_Petri_h%C3%A1l%C3%B3k_dinamikus_viselked%C3%A9se&diff=137275&oldid=prev 2012-10-21T19:57:43Z

<p>Új oldal, tartalma: „{{GlobalTemplate|Infoalap|FormModPetriDinam}} &lt;br\&gt; ==Tüzelés== * *Engedélyezett tranzíció*: ** Egy tranzíció tüzelése engedélyezett, ha minden bemenő hel…”</p> <p><b>Új lap</b></p><div>{{GlobalTemplate|Infoalap|FormModPetriDinam}}<br /> <br /> &lt;br\&gt;<br /> <br /> <br /> ==Tüzelés==<br /> * *Engedélyezett tranzíció*:<br /> ** 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).<br /> ** Egy engedélyezett t tranzíció tetszése szerint tüzelhet vagy nem tüzelhet (a tüzelés nemdeterminisztikus).<br /> ** 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.<br /> ** 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).<br /> <br /> ==A tüzelés algebrai jellemzése==<br /> <br /> * &#039;&#039;&#039;Szomszédossági mátrix&#039;&#039;&#039; W = |w(t,p)|| (mérete: ||T|| x ||P)<br /> <br /> 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).<br /> Az M állapotból a Petri háló a t. tranzíció tüzelésére a következő állapotba megy át: M&amp;#8217; = M + [[WTet]]<br /> PN-ben(ahol engedélyezett az önhurok), ott a szomszédsági mátrix értelemszerűen &quot;csal&quot;, hisz nem mutatja az önhurok dolgait. <br /> <br /> <br /> ==Tüzelési szekvencia==<br /> <br /> &#039;&#039;&#039;Kiegészítő helytranszformáció&#039;&#039;&#039;<br /> 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&amp;#8217; helyet, ami a még ki nem használt kapacitását adminisztrálja.<br /> <br /> ==Tüzelési szám==<br /> <br /> Tüzelési szám<br /> A tüzelési szám vektor egy tüzelési szekvencia egyes tranzícióinak előfordulási számait adja meg.<br /> Egy ti tranzíció X(ti) tüzelési száma a vektor i-edik eleme.<br /> <br /> <br /> ==Állapotegyenlet==<br /> <br /> Állapotegyenlet<br /> Egy tiszta petri háló állapotegyenlete:<br /> M0 &amp;#8211; Mn = WT&amp;#61555;<br /> <br /> <br /> <br /> <br /> ==A tüzelési szemantika módosítása==<br /> * *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ó<br /> * kapacitáskorlát<br /> * *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.<br /> <br /> =Kérdések-válaszok=<br /> <br /> ==Prioritás==<br /> <br /> {| border=&quot;1&quot;<br /> |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<br /> |-<br /> |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.<br /> |-<br /> |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.<br /> |}<br /> ====<br /> <br /> {| border=&quot;1&quot;<br /> |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...<br /> |-<br /> |Minden tranzícióhoz rendelünk egy adminisztrációs helyet ||*HAMIS*||helyesen: &quot;minden helyhez...&quot;<br /> |-<br /> |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<br /> |-<br /> |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. <br /> |}<br /> <br /> <br /> -- [[AdamO|adamo]] - 2006.04.02.<br /> <br /> <br /> [[Category:Infoalap]]</div>

Unknown user