Metode de descriere a unei [614971]

Cursul 2
Metode de descriere a unei
automatiz ări secven țiale

Limbajul SFC (Sequential Function Chart)
Concepte de baz ă
Conceptele de baz ă ale limbajului sunt:
nEtapele;
nAcțiunile;
nArcele orientate;
nTranzi țiile;
nCondi țiile asociate tranzi țiilor.

Etape și acțiuni
O etap ă poate fi activ ă sau inactiv ă după cum în ea se afl ă sau nu un jeton.
Etapa ini țială este activ ă la pornirea programului. Un graf trebuie s ă aibă cel
puțin o etap ă inițială.
Dacă etapa este activ ă se execut ă acțiunea asociat ă ei.

Tranzi ții
O tranzi ție este parcurs ă dacă:
nToate etapele anterioare tranzi ției sunt active (tranzi ție validat ă);
nCondi ția boolean ă asociat ă tranzi ției este adev ărată.

Arce orientate

Reguli de baz ă pentru alc ătuirea
unui program SFC1. Se leag ă etapele și tranzi țiile, care trebuie s ă fie strict alternante ,
cu arce;
2. Dac ă mai multe etape trebuie legate de o tranzi ție, atunci arcele care
vin la aceia și tranzi ție se regrupeaz ă prin linii orizontale, numite
convergen ța AND;
3. Dac ă mai multe etape urmeaz ă unei tranzi ții, atunci se regrupeaz ă
arcele care duc spre etape cu ajutorul unei linii orizontale duble numit ă
divergen ță AND;

Reguli de baz ă pentru
alcătuirea unui program SFC
4. Dac ă mai multe tranzi ții sunt legate la o singur ă etapă, în sensul spre
etapă, arcele se grupeaz ă printr-o linie orizontal ă simpl ă, numit ă
convergen ță OR;
5. Dac ă mai multe arce sunt legate la o etap ă, în sensul de la etap ă,
atunci ele se regrupeaz ă printr-o linie orizontal ă simpl ă, numit ă
divergen ța OR;

Reguli de baz ă pentru alc ătuirea
unui program SFC
6. Realizarea unui salt condi ționat: Dac ă … atunci …..

Reguli de baz ă pentru alc ătuirea
unui program SFC
7. Realizarea de bucle

Evolu ția
unui graf
Evolu ția unui graf este descris ă în cinci reguli:
Regula nr. 1. Starea ini țială
Starea ini țială este reprezentat ă de etapele care sunt active la
început. Trebuie s ă existe cel pu țin o stare ini țială.
Regula nr. 2. Validarea unei tranzi ții
O tranzi ție poate fi validat ă, imediat ce etapele care o preced sunt
active. În caz contrar tranzi ția este invalidat ă.
Regula nr. 3. Evolu ția etapelor active
O tranzi ție poate fi parcurs ădacă este validat ă și condi ția asociat ă
tranzi ției este adevarat ă. Parcurgerea unei tranzi ții are ca efect
activarea tuturor etapelor care urmeaz ă tranzi ției și dezactivarea
etapelor care preced tranzi ția.

Evolu ția
unui graf

Regula nr. 4. Evolu ția simultan ă
Dacă mai multe tranzi ții au condi ții de parcurgere, ele sunt parcurse
simultan. Parcurgerea unei tranzi ții are o durat ă foarte scurt ă, dar
diferit ă de zero.
Dacă două tranzi ții succesive , separate de o etap ă, au condi ția de
parcurgere frontul aceleia și variabile, atunci sunt necesare dou ă
fronturi pentru a parcurge cele dou ă tranzi ții.Evolu ția
unui graf

Evolu ția
unui graf

Evolu ția
unui graf
{1}C
{2}C
{3}

PROCESEvolu ția
unui graf
Regula nr. 5. Activarea și dezactivarea simultan ă
Dacă în cursul evolu ției unui graf, o etap ă are simultan condi ții de
activare și dezactivare atunci ea r ămâne activ ă
{1, 2} {2, 3}C5