Aici totul este permis: t1 și t2. Deoarece vrem să luăm în considerare toate situațiile, vom face acest lucru și pentru ambele tranziții.
Construirea unui arbore de accesibilitate.
Aici vârfurile vor fi diferite marcaje realizabile, iar arcele sunt tranziții. Acum este necesar să se ia în considerare toate marcajele realizabile din astfel de marcaje. Puteți rula t1 și t2 din nou. După aceasta, puteți continua marcarea. Cu toate acestea, rețineți că marcajul (0,0,1) este un marcaj pasiv, adică nu vor fi generate marcaje din acesta. Rețineți că marcajul (0,1,1), generat de începutul lui t3. din marcajul (0,2,1) de-a lungul arcului t3 a fost deja în arbore (a fost generat de t2), adică a existat o dublare. Apoi, dacă veți continua să construiți un copac, atunci acest copac accesibil se va dovedi a fi infinit. Apropo, plasa finită Petri poate avea un copac infinit.
Există mai multe mijloace de a limita acest copac, adică de a arăta inutilitatea continuării sale.
Introducem câteva noțiuni despre un copac de atingere:
În acest arbore, nodurile reprezintă o secvență de marcaje ...
1) Începutul arborelui este vârful rădăcinii
2) Vârful de graniță este un vârf nou obținut de la vechiul marcaj (1,3,0, 0,3,1)
3) Vârfurile terminale sunt vârfuri pasive, când nu există tranziții permise (0,0,1)
4) Vitezele duplicate - noduri cu marcări deja întâlnite într-un copac (0,1,1)
In exemplul de mai sus arată că numărul de noduri de delimitare a dat naștere unei noi limite, care se va construi un nou marcaj (), în care, la una sau mai multe poziții de chips-uri este în continuă creștere (care nu aduce nici o informație nouă).
Prin urmare, introducerea conceptului de infinit (un număr infinit de jetoane într-o poziție) este un simbol special.
Fiecare vârf care primește în poziție generează același.
Este definit un sistem - un anumit automat și un operator. Mașinile sunt declanșate de operator. Trei automate sunt definite în sistem :. ; și doi operatori. .
Operatorul poate lucra cu și.
Operatorul poate deservi mașinile și.
Unele comenzi sunt executate în acest sistem. Aceste comenzi necesită două etape de procesare:
a) Ordinul a sosit și așteaptă procesarea
b) Ordinul este procesat și așteaptă (încă). sau
c) Ordinul a fost completat
i) este sub influența (asociată cu ea)
k) sub influența lui
l) sub influența lui
m) sub influența lui
Următoarele evenimente pot apărea:
1. Ordinul a sosit
2. începe executarea ordinului pentru
3. a completat comanda pentru
4. începe executarea ordinului pentru
5. încheie executarea ordinului
6. începe executarea ordinului pentru
7. încheie executarea ordinului pentru
8. a început executarea ordinului pentru
9. Am terminat comanda pentru
10. Ordinul este trimis spre livrare (este inclus un transportator)
Să scriem acest lucru, comparând evenimentele și condițiile, inclusiv precondițiile și postcondițiile.
Algoritm pentru construirea unui arbore de accesibilitate
Fiecare vârf al i-copacului este asociat cu un marcaj extins. unde poate exista fie un număr întreg negativ, fie "țâțe". Fiecare vârf este clasificat ca limită, terminală sau duplicat sau intern.
Limitele sunt nodurile care nu au fost încă procesate de algoritm. Algoritmul le va transforma în fie în terminal, fie în duplicat, fie în vertexurile interne. Algoritmul începe cu definirea marcajului inițial al rădăcinii arborilor, care este încă același vârf limită. Atâta timp cât există vârfuri de graniță, ele sunt procesate de algoritm. Fie x un vertex limită al i-tree-ului original, care trebuie prelucrat și făcut din el "Pinocchio":
1) Dacă există un alt vârf y în arbore, care nu este un vârf de limită, și același marcaj este asociat cu acesta, adică. atunci vertexul x, este o duplicare
2) Dacă pe marcaj nu este permis niciunul dintre tranziții, adică Ø pentru toți. atunci x este un vertex terminal (mort end).
3) Pentru orice tranziție permisă în. care este, Ø. atunci puteți crea un nou vertex z al copacului accesibil. Marcajul z asociat vârfului arborelui z este definit pentru fiecare poziție, adică definit după cum urmează:
B) dacă există un vertex y pe calea de la vârful rădăcină la vârful x, astfel încât u. apoi =
O cale este o secvență de vârfuri și arce de la vârful original.
B) altfel spunem asta
Deci, când toate nodurile sunt numite terminale, duplicate și interne - algoritmul se oprește.
Managementul în sisteme în timp real (unele abordări)
De exemplu, sistemul de control (SC) al navei spațiale trebuie să primească informații de la echipament și să emită semnale de control către echipament. Să formăm un exemplu de model matematic logic simplificat de control:
x1 ... xn - semnale de intrare către FPGA
y1 ... ym - semnalul de ieșire de la PKPKi
În SRV (sistemele în timp real), adică sistemul de control al echipamentelor tehnologice, sistemele executive de la bord, etc. SS-urile de nivel superior ar trebui să accepte sistemele:
a) la ore aleatorii pukaem.
b) la momente date, definite de exemplu printr-o ciclogramă.
Semnalele de la echipament pot veni ca urmare a comenzilor anterioare ale controlorului. Deci, controlorul, dacă o comandă a fost dată mașinii yi-1, pentru a începe prelucrarea părții, atunci semnalul de la mașină va fi un semnal xk. anunțând încetarea activității.
Astfel, ciclograma este monitorizată de echipamentul propriu-zis (CNC), iar PLC-ul stabilește timpul de control pentru sosirea semnalelor de confirmare (răspuns la sfârșitul acțiunii mașinii), cu timpul. Eliberarea unei comenzi la echipament. PLC pornește unul dintre cronometre.
P.S. Editat de 13.S.S.