Grafcet

1
Grafcet

• Prednáška Udalostné systémy
• Leo Mrafko

2
Grafcet

• (cít. grafset) bol navrhnutý ako špecifikacný
  nástroj pre implementáciu logického riadenia
  predovšetkým pre použitie s programovatelnými
  logickými automatmi (PLA).
• vychádza z binárnych Petriho sietí
  interpretovaných pre riadenie
• do detailov popísaný v Európskej norme IEC 848
  a pod názvom Sekvencný funkcný graf v norme IEC
  61131-3

3
Základné prvky Grafcetu
4
Syntax grafických komponentov
Dve alebo viac hrán vedúcich od krokov k prechodu
môže byt spojených len prostredníctvom dvojitej
ciary. Spojenie sa nazýva spojenie AND, tiež
konvergencia AND.
Hrana vychádzajúca z prechodu môže byt rozvetvená
na hrany vstupujúce do krokov iba prostredníctvom
dvojitej ciary. Rozvetvenie sa nazýva rozvetvenie
AND, divergencia AND.
5
Syntax grafických komponentov
Dve alebo viac hrán vychádzajúcich z prechodu sa
môžu spájat do kroku. Takéto spojenie sa nazýva
spojenie OR, konvergencia OR.
Hrana vychádzajúca z kroku sa môže rozvetvovat do
hrán vedúcich k prechodom. Takéto vetvenie sa
nazýva rozvetvenie OR, divergencia OR.
6
Syntax grafických elementov
7
Dynamické modelovanie s Grafcetom

• Prechod je spustitelný ak všetky kroky
  predchádzajúce prechodu (predkroky, pre-steps) sú
  aktívne a receptivita prechodu je logická 1. Toto
  pravidlo je graficky vyznacené dvojitou ciarou
  pri spojení AND.
• Ak je prechod spustitelný, je okamžite spustený.
  Spustenie prechodu spocíva v deaktivácii všetkých
  predkrokov a v aktivácii všetkých krokov
  nasledujúcich hned za daným prechodom (tzv.
  pookroky, post-steps). Toto pravidlo je graficky
  vyjadrené dvojitou ciarou pri rozvetvení AND.
• Ak je v jednom okamihu viacero spustitelných
  prechodov, sú tieto spustené simultánne.
• Ak musí byt krok simultánne aktivovaný aj
  deaktivovaný, ostáva aktívny
• Pri spustení prechodu sú odobrané znacky zo
  všetkých predmiest a do všetkých miest
  nasledujúcich za prechodom sú umiestnené znacky.

8
Receptivita prechodov

• Vnímavost receptivita prechodu je zložená
  z booleovských premenných, ktoré môžu byt interné
  alebo externé. Interné premenné vyjadrujú stavy
  krokov. Zvycajne pre krok s indexom i je
  definovaná premenná Xi. Ak , teda. is pravdivé,
  potom krok i je aktívny. Naopak znací, že krok
  i je neaktívny.

9
Akcie pri krokoch
10
Práca s casom
kde t znací casovanú premennú i odkazuje na
logickú premennú Xi je casový interval
11
Porovnanie Petriho sietí a Grafcetu
Znackovanie v Grafcete striktne binárne
12
Porovnanie spúštacích pravidiel
13
Porovnanie spúštacích pravidiel