Petri hálók
Petri háló - egy berendezés dinamikus modellezése diszkrét rendszerek (többnyire aszinkron párhuzamos folyamatok). Petri háló definiáljuk, mint egy négyes. hol és - véges halmazok helyek és átmenetek, valamint - több bemeneti és kimeneti funkciók. Más szóval, a Petri háló egy páros irányított gráf, ahol a csúcsok megfelelnek az pozíciók, által ábrázolt körök és átmenetek - felsők ábrázolt megvastagodott kötőjelek; funkciója megfelel az ív irányított a helyzetben, hogy az átmenetek és funkciók - a átmenet a pozíciókat.
Mint sorbanállási rendszerek, Petri bevezetett tárgyak kétféle hálózat: dinamikus - ábrázolt címkék (marker) helyzete és statikus - azok megfeleljenek a felső Petri hálók.
markerek megoszlása pozíció hívják jelölést. Markers lehet mozgatni a hálózaton. Minden változás az úgynevezett jelölés egy esemény, minden esemény kapcsolódik egy bizonyos átmenetet. Úgy véljük, hogy az események történnek azonnal és különböző időkben bizonyos feltételek mellett.
Minden feltétel egy Petri-hálózat megfelel egy bizonyos helyzetben. Commit esemény felel meg a műveletet (gerjesztés vagy indítsuk el) átmenet, amelyben a markerek a beviteli pozíciót az átmenet kerülnek át a helyzet a hétvégén. Az események sorozata alkot szimulált folyamat.
átállási művelet szabályok (. 1. ábra), amely meghatározza az alábbi: az átmenet akkor aktiválódik, ha a feltétele annak minden egyes bemeneti pozíciók. ahol - a jelek számát a bemeneti -edik helyzetben, - a ívek száma kinyúló az átmenet edik pozícióban; amikor váltott az átmenet a több bemenet edik pozíció markerek csökken. és edik kimenetre helyzetben növekszik. ahol - az ívek száma összekötő átmenetet az i-edik pozícióban.
Ábra. Az 1. ábra egy példát az elosztó a pozíciók a markerek égetés előtt, a jelölés van írva, mint (2,2,3,1). Miután kiváltó átmenet jelölés válik: (1,0,1,4).
Megadhat számos további szabályokat és feltételeket a modellezési algoritmusok, így egyik vagy másik fajta Petri hálók. Tehát, célszerű bevezetni a modellt idő szimulálni nem csak az események sorrendje, de azok a időt. Ez úgy történik, amely tömeg átmenetek - a hossza (késleltetés) válasz, amely segítségével határozható meg a meghatározott algoritmus ebben az esetben. Az így kapott modell az úgynevezett egy időben Petri háló.
Ábra. 1. A töredék a Petri hálók
Ha a késések valószínűségi változók, a hálózat az úgynevezett sztochasztikus Petri háló. A sztochasztikus hálózatok bevezetése válasz Valószínűsítve izgatott átmenetek. Például, ábrán. A 2. ábrán egy Petri háló fragmentum mutató konfliktushelyzet - marker pozíciók futhat, vagy ugrik. vagy átmeneti. Ez egy valószínűségi választás működtetett kapcsoló az ilyen helyzetekre sztochasztikus hálózat.
Ábra. 2. konfliktushelyzet
Ha a késedelem függvényében határozzuk meg az egyes érveket, amelyek lehetnek számos jelzőt bármely helyzetben, néhány állami átmenetek, stb akkor mi van a funkcionális Petri háló.
Sok problémát a dinamikus objektumok lehetnek több fajta, és minden típusú kell, hogy adja meg az algoritmusok viselkedését a hálózatban. Ebben az esetben, ha minden marker kell legalább egy paraméter típusát jelző marker. Ezt a paramétert általában nevezik szín; színt lehet érvként funkcionális hálózatok. Hálózati ugyanakkor az úgynevezett színes Petri háló.
Többek között fajok Petri hálók említendő inhibitor Petri hálók. az a tény jellemez, hogy azok megtiltják (inhibitor) az ív. A marker jelenlétében a bemeneti helyzetbe való átállás inhibitorral ív, azt jelenti, a tilalmat ravaszt átmenetet.
Magyarázza meg a fogalmakat vezetett be a következő példák.
Szükség, mert a felhasználók egy csoportjának segítségével Petri hálók munka egy munkaállomáson WS adott lekérdezések áramlási jellemzői használatáért WS és jellemzőit bejövő feladatokat. Petri háló ábrán látható. 3.
Vannak átmenetek vannak társítva a következő események: - a kérelem kézhezvételét használni a WS - állomásról, - mentesség állomás - lépjen ki az alkalmazásból kezelnek; pozíció megjelenítésére állapotát WS: ha van egy címke, a WS ingyenes, és jött az alkalmazás eredményeként átmeneti ravaszt; amíg az alkalmazás már kiszolgált, a címkén nem ezért jött, hogy a helyzet kérelmeket meg kell várni az átmeneti működés.
Ábra. 3. Petri háló az 1. példa
Ábra. 4 egy Petri háló megfelelő párhuzamos számítások alapján aszinkron üzenet halad interfész (MPI) [1].
Ábra. 4. Petri háló példa 2
Szükséges leírtuk a Petri háló fejlődési folyamatok és a hibaelhárítás műszaki rendszer, amely több azonos tömböt; balra, van egy hibás blokkot; ismert statisztikai adatok intenzitását és időtartamát kudarcai műveletek, mint a hibaelhárítás, javítás és a csere a meghibásodott egységet. Keresés és csere a meghibásodott egységet termel egy brigád, és a javítás a helyébe egység - a többi csapat. Petri háló ábrán látható. 5. Vegyük észre, hogy ha a szám a címkék helyzetben egyenlő. nem tudja használni ideig, mert írt a helyzet az érték benne.
Példánkban egy értéket a megfelelő helyzetben a blokkok száma a rendszerben. Transitions jelzik a következő események: - egység hiba - hibaelhárítás A készülék - csere, - vége a javítás.
Nyilvánvaló, hogy ha egy nem üres átmenet kiváltott helyzetben, de a késedelem megegyezik a számított érték random szimulált közötti időintervallumot hibák. Miután a marker belőle eljut. ha van egy címke a helyén. Ez azt jelenti, hogy a rendszer kiszolgáló csapat szakemberek ingyenes, és kezdeni hibáit. Az ugrás címke késik egy ideje egyenlő a véletlen érték időtartama hibaelhárítás. Továbbá, a marker van, és ha van egy tartalék egység (marker), majd elindítja az átmenet. ahonnan zsetonok jönnek. és miután a szükséges időt a csere blokk. Ezután szimulált feloldás a hibás készüléket.
Ábra. 5. Petri háló a 3. példa
A szóban forgó típus működését ismerteti a rendszer olyan környezetben, ahol a meghibásodások az üzemeltetési és hibaállapotokat a rendszer. Ezért nem kizárt a helyzeteket, amelyekben egynél több marker lesz abban a helyzetben, referenciák