Analiza przestrzeni stanów automatów współbieżnych opisanych sieciami Petriego z wykorzystaniem hipergrafów

W artykule pokazano sposób zwartej reprezentacji przestrzeni stanów lokalnych za pomocą hipergrafu dla rekonfigurowanego sterownika logicznego. Wykorzystanie proponowanej reprezentacji przestrzeni stanów oraz relacji między nimi umożliwia wykrywanie istotnych, strukturalnych wad algorytmu sterowania poprzez analizę odpowiadającego mu hipergrafu. Metoda pozwala wykryć fakt, że sieć Petriego lub diagram SFC nie mogą być pokryte podsieciami typu automatowego, bez próby konstruowania takiego pokrycia. Zademonstrowano przydatność metody kolorowania hipergrafu w procesie dekompozycji sieci Petriego na równoważny jej zbiór podsieci typu automatowego, realizowanych następnie układowo, w postaci oddzielnych, lecz współpracujących ze sobą układów sekwencyjnych.

---

In the article the usage of hypergraphs theory in analysis of the space in concurrent automata states described by Petri Nets is proposed. The method allows designers to detect errors in the structure of the initial driver algorithm. In the traditional solutions both Petri Nets and SFC diagrams have to be covered by the subnets of sequential automata to verify their structure. It requires additional step in the device prototyping flow. Such step is automatically performed if hypergraph theory is used. Therefore usage of hypergraphs is more efficient and intuitive than traditional solutions. The proposed method will be illustrated by the example where the usefulness of hypergraphs is shown.