FormModDefiniciok

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

Korlátosság

Bármely állapotban minden helyen maximum k token lehet. (Kiinduló állapot függő!)

Strukturális korlátosság

Egy N Petri háló strukturálisan korlátos, ha bármely korlátos M0 kezdőállapotra korlátos marad

Bizos Petri Háló

Korlátos, k=1. (Azaz egy helyen vagy 0 vagy 1 token van.)

t átmenet élősége

• L0: t sohasem tüzelhető az adott állapotból kiindulva
• L1: t legalább egyszer tüzelhető valamely M0-ból induló tüzelési szekvenciában
• L2: t legalább k-szor (k ≥ 0) tüzelhető valamely M0-ból induló tüzelési szekvenciában
• L3: t végtelen sokszor tüzelhető valamely M0-ból induló tüzelési szekvenciában
• L4: t L1 élő bármely M0-ból elérhető állapotban.

Petri háló *élősége*

• Lx élő, ha minden átmenete legalább Lx élő.
• Élő, ha L4 élő.
• (élő=>holtpontmentes)
• A PN struktúrálsian élő, ha létezik olyan M₀ kezdőállapota, amelyben (N,M₀) (L₄)-élő.

Jelölt gráf

acsa élő, ha minden G-beli körben van legalább 1 token. Minden jelölt gráf struktúrálisan élő

FC háló

Struktúrálisan élő, ha minden N-beli szifon tartalmaz csapdát.

Petri háló *megfordítható*

A kezdőállapot bármely követő állapotból elérhető.

Petri háló ismételhető

Ha létezik olyan M0 kezdőállapot és M0-ból induló σ tüzelési szekvencia, hogy minden t eleme T tranzíció végtelen sokszor tüzel.

Petri háló részlegesen ismételhető

Ha létezik olyan M0 kezdőállapot és M0-ból induló σ tüzelési szekvencia, hogy valamely t eleme T tranzícióvégtelen sokszor tüzel.

*Visszatérő* állapot

Van olyan, a kezdőállapotból elérhető állapot, amely bármelyőt követő állapotból elérhető.

Fairség

Tüzelési szekvencia *Korlátozott (B) Fair*

• Bármely átmenet maximum korlátos sokszor tüzelhet a másik tüzelése nélkül.
• Struktúrálisan: ha bármely kezdőállapotra B fair

Tüzelési szekvencia *Globálisan Fair*

Ha a szekvencia nem véges, akkor minden átmenet végtelen sokszor szerepel benne.

Holtpont (Deadlock) mentesség

Minden állapotban legalább egy átmenet tüzelhető.

R(N,M)

Az N Petri Háló M állapotából elérhető állapotok.

L(N,M)

Az N Petri Háló M állapotából végrehajtható szekvenciák halmaza.

T-invariáns

A σ tüzelési szekvencia végrehajtása nem változtatja meg a tokeneloszlást

P-invariáns

A μ_P súlyvektor által kijelölt helyeken a tokenek súlyozott összege nem változik.

-- SzaMa - 2006.04.02.

• szifon:
  

Ezen a helyen volt linkelve a szifon.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)

• csapda:
  

Ezen a helyen volt linkelve a csapda.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)