Tekintsük a következő Petri háló - studopediya
Itt minden rendben van: a T1 és T2 Mivel azt szeretnénk, hogy fontolja meg a helyzetet, hogy megteszi ezt mind átmenetek.
Fa Építőipari elérhetőség.
Vannak különféle csúcsok elérhető jelölés és ívek - ugrik. Most meg kell vizsgálni minden jelölésnek megközelíthető a jelölések. Akkor újra T1 és T2. Ezután folytathatja jelölést. Megjegyzendő azonban, hogy a jelölés (0,0,1) - a jelölés passzív, azaz nem jelölése akkor nem keletkezik. Megjegyezzük, hogy a jelölés (0,1,1), generált kezdő t3. A jelölés (0,2,1) t3 az ív már a fán (ez által generált t2), akkor nem volt párhuzamos. Aztán, ha továbbra is az építőiparban a fa, a fa lehet végtelen elérhetőséget. By the way, az utolsó étel hálózat lehet egy végtelen fa.
Számos eszköz korlátozása olyan fa, azaz, hogy bemutassák a hiábavalóságát annak folytatását.
Bemutatjuk néhány fogalmat fa elérhetőségi:
A tetején a fa - egy sorozata címkék ...
1) Indítsa el a fa - a gyökér
2) A határ vertex - egy új csúcsot, nyert régi jelölések (1,3,0; 0,3,1)
3) Terminal csúcsok - passzív csúcsok, ha nincs megengedve átmenetek (0,0,1)
4) Többször fel - a felső jelölések, amelyek már találkoztak a fán (0,1,1)
A fenti példa azt mutatja, hogy a szám a határ csúcsok szült egy új határt, hogy megy, hogy egy új jelölés (), amelyben egy vagy több helyzetben chipek folyamatosan növekszik (nem hoznak semmilyen új információt).
Ezért bevezeti a végtelen (végtelen számú zsetont a pozíció) - egy különleges karakter.
Minden csúcs érkezett a helyzetben, generál ugyanaz.
Mivel a rendszer - a gépkezelő. Gép aktiválódnak alatt kezelőnek. három gép a rendszerben definiált :. ; és két szolgáltató. .
Az üzemeltető tud dolgozni a gép és.
Az üzemeltető képes kiszolgálni gépek és.
Ebben a rendszerben végrehajtott egyes megrendelések. Ezek a megbízások szükséges két feldolgozási lépések:
a) A megbízás érkezett, és vár feldolgozásra
b) a megrendelés feldolgozása és várakozik a (még) sem. vagy
c) ellenőrzi, konfigurálva
i) hatása alatt áll (társított)
a) hatása alatt
l) hatása alatt
m) hatása alatt
Ebben az esetben előfordulhat alábbi események:
1. A megbízás megadása
2. Indítsa el a végrehajtás érdekében
3. Ha a végrehajtás érdekében
4. elkezdi végrehajtani a megbízást
5. megszünteti a végrehajtás érdekében
6. elkezdi végrehajtani a megbízást
7. befejezi végrehajtása érdekében
8. indult végrehajtás érdekében
9. befejezte a megbízás teljesítése a
10. Az, hogy elküldik a szállítás (a szállítószalagon)
Írunk a fenti, összehasonlítva az eseményeket és feltételeket, beleértve határozza előfeltételeket és utófeltételek.
Egy algoritmust építésére elérhetőségi fa
Minden csúcs i - a fa kapcsolatban van a fokozott címkézés. amely lehet egy nem-negatív egész szám, vagy „mellek”. Minden csúcs minősül határt, vagy terminál, vagy egy példányban, vagy belső.
Határ csúcsokat még nem dolgozza fel az algoritmus. Az algoritmus átalakítani őket, terminál, vagy ismétlődő vagy a belső csúcs. Az algoritmus kezdődik meghatározó kezdeti jelölés gyökeret, amely, amíg ugyanazt a határ csomópontot. Amíg vannak határ csúcsok feldolgozásra kerülnek az algoritmus. Nézzük - néhány határ csúcsa az eredeti i - a kezelendő faanyag, és ez egy „Pinocchio”:
1) Ha van egy másik fa tetején, ami nem egy határt, és ez együtt jár az azonos jelöléssel, ami. akkor a vertex hy - másolat
2) Ha a címkén, sem az átmenetek nem megengedett, vagyis az összes Ø. akkor x - terminál (holtpont) tetején.
3) Minden egyes átmenet a megengedett. azaz Ø. létrehozhat egy új csúcs z-fa elérhetőség. Jelölés a Z, társított vertex Z-fát meghatározni minden helyzetben, hogy a következőképpen definiálható:
B) ha az utat a gyökér csomópont, hogy a tetején x létezik egy csúcs y olyan, hogy. ezután =
Path - sorozata csomópontok és ívek az eredeti tetején.
B) Ha azt mondjuk, hogy
Tehát amikor uvse felsők Kazuto terminál, ismétlődések és belső - algoritmos megáll.
real-time rendszerek kezelése (több megközelítés)
Például az ellenőrzési rendszer (CS) műholdak tájékoztatni kell a készüléket, és kérdés vezérlőjelek a berendezés. Formálási példa egyszerűsített logikai-matematikai modellek kezelése:
x1 ... xn - bemenet a csacsi
y1 ... um - a kimenet a szamár
. A Vietnam (valós idejű rendszerek), vagyis a technológiai berendezések rendszer, fedélzeti rendszerek végrehajtó és egyéb felső szintű SU kéne venni a rendszer:
a) tetszőleges időzítéssel BUNCH.
b) egy set-mo Ments definiált pl cyclogram.
Jeleket a berendezés jöhet eredményeként korábbi parancsokat vezérlő. Így a vezérlő, ha a parancs adott gép yi-1 - indul a munkadarab megmunkálását, a válasz jel a készülék jelzi xk. értesíti a munka befejezésekor.
Így szekvencia diagramot követjük a berendezés (kontroll), és a PLC kiállított a referencia érkezési idő a megerősítő (számláló a következtetést a gép) jelzi taymiruya időt. Amely néhány csapat berendezés. PLC elindul az egyik időzítő.
Ui szerkesztett 13.S.S.