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

• Autorzy: Wiśniewska M. , Adamski M.

Warianty tytułu

EN

Hypergraphs in the state space analysis of concurrent automata described by Petri Nets

• Konferencja: Reprogramowalne Układy Cyfrowe (18-19 maja 2006; Szczecin; Polska)
• Języki publikacji: PL

Abstrakty

PL

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.

EN

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.

Słowa kluczowe

PL

analiza przestrzeni stanów automatów współbieżnych; sieci Petriego; wykorzystanie hipergrafów

EN

hipergraphs; state space analysis of concurrent automata; Petri nets

• Wydawca: Wydawnictwo PAK
• Czasopismo: Pomiary Automatyka Kontrola
• Rocznik: 2006
• Tom: R. 52, nr 7 bis
• Strony: 62--64
• Opis fizyczny: Bibliogr. 9 poz.

Twórcy

autor

Wiśniewska M.

autor

Adamski M.

• Wydział Elektroniki i Telekomunikacji, Uniwersytet Zielonogórski,

Bibliografia

• [1] Z. Banaszak, J. Kuś, M. Adamski, Sieć Petriego. Modelowanie, sterowanie i synteza systemów dyskretnych, Wydawnictwo Wyższej Szkoły Inżynierskiej, Zielona Góra, 1993.
• [2] G. De Micheli, Synteza i optymalizacja układów cyfrowych, Wydawnictwo Naukowo-Techniczne, Warszawa, 1998.
• [3] T. Łuba, Synteza układów logicznych. Wyższa Szkoła Informatyki Stosowanej i Zarządzania, Warszawa, 2000.
• [4] M. Blanchard, Comprendre, maitriser et appliquer le GRAFCET, Cepadues Editions, 1979.
• [5] M. Adamski, J. L. Monteiro, Restricted Grafcet and its Rule-based Specification and Implementation, Proceedings of the 39th International Scientific Colloquium, IWK'94, Ilenau, Niemcy, 1994, str. 543-548.
• [6] R. David, H. Alla, Petri Nets & Grafcet. Tools for modelling discrete event systems. Prentice Hall, New York, 1992.
• [7] M. Adamski, Projektowanie układów cyfrowych systematyczną metodą strukturalną, Monografia Nr 49, Wydawnictwo Wyższej Szkoły Inżynierskiej w Zielonej Górze, Zielona Góra, 1990.
• [8] A. D. Zakrevskij, Parallel logical control algorithms. Proceedings of the 3th International Conference CAD DD'99, Minsk, 1999, str. 13-18.
• [9] M. Wiśniewska, Wykorzystanie hipergrafów w dekompozycji sieci Petriego na podsieci typu automatowego. Materiały konferencyjne: VII Międzynarodowe Warsztaty Doktoranckie OWD, Wisła, 2005, str. 81-84.