https://vik.wiki/index.php?action=history&feed=atom&title=FormModDefiniciokFormModDefiniciok - Laptörténet2026-05-02T16:20:34ZAz oldal laptörténete a wikibenMediaWiki 1.43.8https://vik.wiki/index.php?title=FormModDefiniciok&diff=137248&oldid=prevUnknown user: Új oldal, tartalma: „{{GlobalTemplate|Infoalap|FormModDefiniciok}} ==Korlátosság== Bármely állapotban minden helyen maximum k token lehet. (Kiinduló állapot függő!) ==Strukturális…”2012-10-21T19:57:15Z<p>Új oldal, tartalma: „{{GlobalTemplate|Infoalap|FormModDefiniciok}} ==Korlátosság== Bármely állapotban minden helyen maximum k token lehet. (Kiinduló állapot függő!) ==Strukturális…”</p>
<p><b>Új lap</b></p><div>{{GlobalTemplate|Infoalap|FormModDefiniciok}}<br />
<br />
==Korlátosság==<br />
Bármely állapotban minden helyen maximum k token lehet. (Kiinduló állapot függő!)<br />
==Strukturális korlátosság==<br />
Egy N Petri háló strukturálisan korlátos, ha bármely korlátos M0 kezdőállapotra korlátos marad<br />
<br />
==Bizos Petri Háló==<br />
Korlátos, k=1. (Azaz egy helyen vagy 0 vagy 1 token van.)<br />
<br />
==t átmenet élősége==<br />
* L0: t sohasem tüzelhető az adott állapotból kiindulva<br />
* L1: t legalább egyszer tüzelhető valamely M0-ból induló tüzelési szekvenciában<br />
* L2: t legalább k-szor (k &ge; 0) tüzelhető valamely M0-ból induló tüzelési szekvenciában<br />
* L3: t végtelen sokszor tüzelhető valamely M0-ból induló tüzelési szekvenciában<br />
* L4: t L1 élő bármely M0-ból elérhető állapotban.<br />
<br />
==Petri háló *élősége*==<br />
* Lx élő, ha minden átmenete legalább Lx élő.<br />
* Élő, ha L4 élő.<br />
* (élő=>holtpontmentes)<br />
* A PN '''struktúrálsian élő''', ha létezik olyan M<sub>0</sub> kezdőállapota, amelyben (N,M<sub>0</sub>) (L<sub>4</sub>)-élő.<br />
===Jelölt gráf===<br />
acsa élő, ha minden G-beli körben van legalább 1 token. Minden jelölt gráf struktúrálisan élő<br />
===FC háló===<br />
Struktúrálisan élő, ha minden N-beli szifon tartalmaz csapdát.<br />
<br />
==Petri háló *megfordítható*==<br />
A kezdőállapot bármely követő állapotból elérhető.<br />
<br />
==Petri háló ismételhető==<br />
Ha létezik olyan M0 kezdőállapot és M0-ból induló &sigma; tüzelési szekvencia, hogy '''minden''' ''t eleme T'' tranzíció végtelen sokszor tüzel.<br />
<br />
==Petri háló részlegesen ismételhető==<br />
Ha létezik olyan M0 kezdőállapot és M0-ból induló &sigma; tüzelési szekvencia, hogy '''valamely''' ''t eleme T'' tranzícióvégtelen sokszor tüzel.<br />
<br />
==*Visszatérő* állapot==<br />
Van olyan, a kezdőállapotból elérhető állapot, amely bármelyőt követő állapotból elérhető.<br />
<br />
==Fairség==<br />
===Tüzelési szekvencia *Korlátozott (B) Fair*===<br />
* Bármely átmenet maximum korlátos sokszor tüzelhet a másik tüzelése nélkül.<br />
* '''Struktúrálisan:''' ha bármely kezdőállapotra B fair<br />
<br />
===Tüzelési szekvencia *Globálisan Fair*===<br />
Ha a szekvencia nem véges, akkor minden átmenet végtelen sokszor szerepel benne.<br />
<br />
==Holtpont (Deadlock) mentesség==<br />
Minden állapotban legalább egy átmenet tüzelhető.<br />
<br />
==R(N,M)==<br />
Az N Petri Háló M állapotából elérhető állapotok.<br />
<br />
==L(N,M)==<br />
Az N Petri Háló M állapotából végrehajtható szekvenciák halmaza.<br />
<br />
==T-invariáns==<br />
A &sigma; tüzelési szekvencia végrehajtása nem változtatja meg a tokeneloszlást<br />
<br />
==P-invariáns==<br />
A &mu;<sub>P</sub> súlyvektor által kijelölt helyeken a tokenek súlyozott összege nem változik.<br />
<br />
-- [[SzaMa|SzaMa]] - 2006.04.02.<br />
* szifon: <br /><br />
{{InLineImageLink|Infoalap|FormModDefiniciok|szifon.PNG}}<br />
<br />
* csapda: <br /><br />
{{InLineImageLink|Infoalap|FormModDefiniciok|csapda.PNG}}<br />
<br />
<br />
[[Category:Infoalap]]</div>Unknown user