Véges elérhetõ fa - stadopedia készítésének algoritmusa
A fa minden i-edik csúcsához tartozik a kiterjesztett m (i) jelölés. A kibővített jelölésnél a pozícióban levő címkék száma lehet nem negatív egész vagy végtelenül nagy. A végtelen számú címkét a w szimbólum jelöli. ()
A csúcsok 4 típusba sorolhatók:
Határértékek azok a csúcsok, amelyeket az algoritmus még nem dolgozott fel.
Az algoritmus a kezdő jelöléssel kezdődik. Amíg vannak határvonalak, az algoritmust feldolgozzák.
Legyen x a feldolgozni kívánt határvonal, és amelyhez a m (x) jelölés kapcsolódik.
1. Ha m (x) jelölés az egyik átmenetnél nincs megoldva, pl. m (x) egy végpontjelzés, akkor x egy terminális csúcs.
2. Ha van egy másik y csúcs a fában. nincs határolva, és vele együtt a m (y) = m (x) jelölés, akkor az x csúcs egy duplikátum.
3. Minden olyan átmeneti tj esetében, amely a (T) jelölésből megengedett, a m (x) jelölés megengedi, hozzon létre egy új csúcsot az elérhetőség fában. A csúcshoz tartozó jelölés m (z) minden egyes pi pontra az alábbiak szerint van meghatározva:
ii. ha van egy y csúcs az ösvényen a fa gyökerétől z-ig, hogy tj és
akkor m (z) i = w;
iii. az ellenkező esetben
A tj jelű ív az x csúcstól a z csúcsig irányul. Az x csúcsot belsõként definiáljuk, az z csúcsot határolja.
Ha az összes fa csúcs kapocs, redundáns vagy belső, az algoritmus leáll.
A véges elérhetõ fa
A Petri C hálózat átmeneti tj-jét a jelölés potenciálisan kiváltja # 956, ha van egy jelölés R (C, # 956;) # 956; ', ahol tj megengedett.
Átmenet a jelölésben aktív # 956; ha potenciálisan bármely R (C, # 956;).
o 0 szint: A tj átmenetet soha nem lehet elindítani.
o 1. szint. Potenciálisan elkezdhetjük az átmenet tj.
o 2. szint: bármely n egész szám esetén olyan sorozatok indulnak, amelyekben az átmenet tj legalább n-szer jelen van
o 3. szint. Van egy végtelen sorozatos indítás, amelyben az átmenet tj korlátlan számú alkalommal van jelen.
o 4. szint. Mindenki számára # 956; ' R (C, # 956;) van ilyen elindulási sorrend # 963, hogy az átmenet tj megengedett # 948; (# 956; `, # 963;).
A 0. szintű aktivitással rendelkező átmenet passzívnak nevezhető.
A 4. szintű aktivitású átmenet aktívnak minősül.
A Petri háló aktivitási szintje i, ha minden egyes csomópont aktivitási szintje i.
Petri háló különböző szintű átmenetekkel
t1 - az első szint
t2 - második szint
t3 - harmadik szint
Egyes típusú Petri hálók:
A Temporal Petri net - átmenetek súlya határozza meg az utazás időtartamát (késleltetés).
A sztochasztikus Petri-késleltetési hálózat egy véletlen változó.
A funkcionális Petri-késleltetési hálózatot bizonyos érvek függvényében definiálják, például bármely címkén lévő címkék számát, bizonyos átmenetek állapotát.
A Petri net színes címkék különböző típusúak lehetnek, színekkel jelezve, a címke típusát argumentumként lehet használni a funkcionális hálózatokban.
Gátló hálózat Petri-gátló ívek lehetségesek, megtiltva az átmenet indítását, ha a gátló ív átmenetéhez kapcsolódó jel van a bejövő pozícióban.
Az egyes technikai rendszerekben fellépő hibák előfordulási és kiküszöbölési folyamata, amely sok hasonló blokkból áll. A tartalékban van egy hasznos egység; Statisztikai adatok vannak a hiba mértékéről és az ilyen műveletek időtartamáról, mint a hibás egység hibaelhárítása, cseréje és javítása. A sikertelen egység keresését és cseréjét egy csapat végzi, és a kicserélt egység javítását egy másik csapat végzi
M a rendszerben lévő blokkok számának felel meg.
t1 - blokkhiba - a hibák közötti időintervallum
t2 - keresse meg a hibás egységet, - a keresési időt
t3 - hibás egység cseréje - a csere időtartama
t4 - a javítás vége - a javítás időtartama.
Az adatcsere protokoll egyszerűsített modellje két folyamat között
