Przy modelowaniu algorytmu metodą SFC wymaga się spełnienia następujących zasad:

1. Krok początkowy reprezentuje proces w stanie początkowym. Krok początkowy jest w stanie aktywnym przy zainicjowaniu go przez użytkownika (np. przy sygnale z pulpitu sterującego) lub przez blok instrukcji.
2. Zmiana stanu procesu jest przedstawiana przez odblokowanie tranzycji przy spełnieniu następujących warunków:

• kroki poprzedzające tranzycję są aktywne;
• warunek logiczny określający tranzycję ma wartość „1”.

3. Tranzycja jest kasowana po spełnieniu określającego go warunku logicznego. Skasowanie tranzycji powoduje dezaktywację wszystkich kroków poprzedzających i aktywację wszystkich kroków bezpośrednio następujących po nim.  
4. Bezpośrednie łączenie dwóch kroków/tranzycji jest zabronione. Kroki/tranzycje zawsze musi rozdzielać tranzycja/krok.
5. W celu modelowania procedur współbieżnych stosowana jest tranzycja specjalnego typu. Reprezentuje ona przechodzenie do jednoczesnej realizacji procedur sekwencyjnych lub jednoczesne zakończenie realizacji procedur sekwencyjnych. Ten typ tranzycji oznaczany jest linią podwójną.

Tabela 32 ilustruje zasady rozwoju kroków oraz stosowania tranzycji w sieciach SFC, stosowane przy modelowaniu algorytmów sterowania dla sterowników PLC.

cd. Tabeli 32

cd. Tabeli 32

cd. Tabeli 32

cd. Tabeli 32

cd. Tabeli 32

 

Przykład grafu SFC dla utworzenia programu dla sterownika PLC

Rysunek 44 ilustruje przykład grafu SFC, na podstawie którego powinien być utworzony program użytkowy dla sterownika PLC. Przy tworzeniu programu użytkowego należy wykorzystać języki (metody) programowania PLC, ujęte w tej trzeciej części normy IEC 1131. (W momencie opracowania tej normy graf SFC uznano jako graficzny sposób ilustrowania działania algorytmu, który jest zarezerwowany dla systemów mechatronicznych. Obecnie graf SFC można zaliczyć do języków programowania PLC, gdyż istnieją środowiska programistyczne, które generują kod źródłowy programu użytkowego PLC bezpośrednio na podstawie grafu SFC. Przykładem takiego środowiska może być oprogramowanie narzędziowe ISAGrapf dla sterowników firmy PEP Modular Computers). 

 

Rysunek 44: Przykład grafu SFC dla utworzenia programu użytkowego PLC