Egyszerű hálózati Petri

előző ◈ a következő

Petri háló három elemből áll: a különböző helyeken, sok átmenetek és az előfordulási kapcsolatban.

Egyszerű Petri háló - egy sor N = (S, T, F), ahol a
  1. - különböző helyeken;
  2. - meghatározott átmenet olyan, hogy.
  3. - előfordulása vonatkozásában oly módon, hogy
    (A);
    (B)

Feltételek 3. bekezdésében kimondja, hogy minden mozgás van egy egyedülálló, állítsa be a bemeneti és kimeneti hellyel multiset multiset. Definiáljuk a bemeneti és kimeneti multiset.

A bemeneti és kimeneti multihalmazok helyek és átmenetek - a következő feltételek mellett:
Adott egy hálózat.
  1. Ha valamilyen átmeneti van, akkor jelöljük;
  2. .

Azt mondjuk, hogy a - bemenet. és - ki az átkelés. Így definíció szerint érvényes. Azt kell mondani, hogy az esemény helyszínétől, vagy ha az átmenet.

Hosszabbítsa meg a funkciót, és a multihalmaz átmenetek. Legyen egy multihalmaz átmenet olyan, hogy. Azután, hogy

Petri hálók egy kényelmes grafikus ábrázolása az alakja egy grafikont, amelyben helyeken képviseli körök, téglalapok és átmenetek. Helyek és átmenetek, és az a hely kapcsolódik az átmenet, ha soedniyaetsya együtt, ha valamilyen pozitív egész. Itt a számot hívják a sok ív. amely grafikusan ábrázolt mellett az ív. Arc, amelyek egyetlen szeres, lesz említett nélkül hozzárendelési egységet.

Példa. például a hálózat

  • Egy egyszerű példa rasssmotrim hálózat. ahol

    Grafikus formában a hálózat az 1. ábrán látható. A hálózat négy helyen és három átmenetek. Attitude határozza meg a körív hálózat. Például, elem definiálja négy ívek: ki-és egy multiplicitások 2, befelé és kifelé egyetlen multiplicitásukkal. Ahhoz, hogy menjen igaz. Olyan helyeken is lehet számítani.

    Ábra. 1: Példa egy Petri-háló grafikon

    Önmagában a koncepció hálózat egy statikus jellegű. Beállítása A dinamikus jellemzők, a fogalom hálózati címkézési, azaz függvény, amely minden egyes helyére egy egész szám. Bemutatunk jelölési pontokat, úgynevezett tag-ek (token), és rendezett körök megfelelő oldalakon. A hiányzó jelek olyan helyen jelzi a nulla jelölésére ezen a helyen.

    Jelzett Petri háló - egy sor, ahol
    1. - hálózat
    2. - kezdeti jelölést.

    Példa. Példa jelölt hálózati.

  • A 2. ábra egy példa a jelentős hálózati. A kezdeti címkézési webhely két tag (token), hely - egy címkét, és olyan helyekre - audio tag azaz .

    Ábra. 2: Példa egy jelölt Petri háló

    Petri hálók fejlesztettek ki és alkalmaznak modellezésére párhuzamos és aszinkron rendszerek. A szimuláció helyett Petri hálók szimbolizálja minden a rendszer állapotát, és az átmenet képviseli azokat az intézkedéseket, amelyek előfordulnak a rendszerben. A rendszer pedig egy bizonyos állapotban, adhat okot némi akció, és fordítva, a kivitelezés a cselekményt végrehajtották a rendszer egyik állapotból a másikba.

    A jelenlegi állapot a rendszer meghatározza a címkézési Petri hálók, azaz a helyét a jelek (token) hálózati helyekre. Műveletbe a rendszer Petri hálók meghatározása a működés átmeneteket. átmenetek kiváltása létrehoz egy új címkét, azaz Ez létrehoz egy új elhelyezést jelek (token) a hálózatban. Mi határozza meg a művelet jelölt hálózatok alapján aktiválását egyes átmenetek.

    átmenetek kiváltó szabály - az alábbi algoritmus
    Hagyja jelölt hálózathoz.
    1. Az átmenet minősül gerjesztett (aktivált) jelölésére, ha;
    2. Napfény izgatott (aktivált) a jelölést, működhet. ami az új címkézésre, amelynek kiszámítása a szabály alapján. Kiváltása átmenetet nevezzük.

    Más szóval, az átmenet minősül gerjesztett (aktivált), mint a címkézési, ha minden oldalon van a bemeneti legalább száma címkék megfelelő sokaságának ívek. A gerjesztett (aktivált), az átmenet lehet tűz, és működtetése minden egyes bemeneti tér kivesszük és adunk az egyes bemeneti egy címkék száma egyenlő sokaságának megfelelő ívek. Ha ugyanabban az időben nyitotta meg (aktivált) több átmenetek működhet ezek közül bármelyik, vagy ezek bármilyen kombinációja. Tegyük fel például, hogy a hálózat a 2. ábrán, és működni fog az átmenetek. Megkapjuk a hálózat a 3. ábrán látható.

    Ábra. 3: Új jelölt hálózathoz.

    Kompozicionalitás megközelítés építése Petri háló lehetőségét sugallja létrehozunk egy bonyolultabb hálózati kevésbé komplex alkatrészek. Ehhez adja meg a hozzáférési pont, amely lehetővé teszi, hogy összekapcsolják egy egyszerű hálózati szinkronizálja események és állapotok (átmenetek és szálláshelyek).

    T-hozzáférési pont - egy pont által meghatározott, a következő feltételek
    Adott egy hálózat és egy ábécé. hozzáférési pont az úgynevezett T-set, ahol

    1. - neve (azonosító) terc-hozzáférési pont;
    2. - abc;
    3. - felülvizsgálatára funkció, hol. Jegyezzük fel a készlet véges, nem üres multiset, halmazán megadott.

    S-Access Point - Egy pont a következő feltételek
    Adott egy hálózat. Ezután a hálózati hozzáférési pont s-N van állítva, ahol

    1. - neve (ID) s-hozzáférési pont;
    2. - beállítva, hogy.

    Lépett a koncepció hozzáférési pontokat a lehetőséget, hogy két alapműveleteket Petri hálók építésére kompozicionalitás hálózat:

    1. A működés átmenetek egyesítés - lehetővé teszi, hogy leírja, és ezáltal a szinkronizálás párhuzamos folyamatok (tmerge);

    2. Kezelés torkolatánál - lehetővé teszi, hogy alkalmazni kell hálózatok konzisztens összetétele működését, kiválasztás, és más iteráció (smerge).

    Egyszerű hálózati Petri

    Ábra. 4: példa átmenetek egyesítése művelet

    Egyszerű hálózati Petri

    Ábra. 5: példa ülések egyesítése művelet

    A megadott művelet jelentése a következő:

    Torkolatánál - meghatározott állapotok halmaza a hálózat azonosított hálózat állapotát, a neve egy bizonyos s-hozzáférési pontot. Fusion a különböző hálózatok olyan, hogy ha elért leírt feltételt, a másik hálózat is kapunk állapotának elérése ugyanabban a hálózatban;

    Torkolatánál átmenetek - határozza meg az ábécé események látható t-hozzáférési pontot. Minden átmenet van jelölve a hálózatban, vagy láthatatlan esemény vagy események kombinációja az ábécé a hozzáférési pont. A átmenetek az egyesülés azért történik így, hogy ha egy bizonyos események kombinációja fordul elő, amikor egy hálózati aktív, akkor ugyanazt események kombinációja fordul elő a második hálózathoz.

    Tudtad, hogy a szintetikus modell - egy matematikai modellt fejlesztettek ki a design új, eltér az ismert rendszerek kívánt tulajdonságokkal. Között szintetikus ökonometriai modellek közé tartozik például, modellek gépek és traktorok modell kialakulásának beruházási programok és mások.

    Hírek Fórum
    Knights-éter elmélet

    Kapcsolódó cikkek

    • előző ◈ a következő