Zastosowanie dualizmu hipergrafów w dekompozycji równoległej automatów współbieżnych

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

Warianty tytułu

EN

Usage of hypergraph duality in decomposition of concurrent automata

• Konferencja: Informatyka - sztuka czy rzemiosło/konferencja (5 ; 23-26.06.2008 ; Szklarska Poręba, Polska)
• Języki publikacji: PL

Abstrakty

PL

Hipergrafy są dogodnym narzędziem matematycznym, umożliwiającym zwartą reprezentację relacji współbieżności lub relacji następstwa w przestrzeni stanów lokalnych cyfrowego automatu współbieżnego. Z tego względu zaproponowano ich wykorzystanie w projektowaniu rekonfigurowanego sterownika logicznego. Hipergraf umożliwia w przejrzysty sposób opisywanie nie tylko relacji współbieżności miedzy stanami lokalnymi, lecz także poglądowo przedstawia ich przynależność do tego samego stanu globalnego. Ułatwia to dekompozycję diagramu SFC lub równoważnej mu interpretowanej sieci sterowania Petriego, na moduły, na przykład szeregowe lub równoległe. W artykule zaproponowano nowatorski sposób dekompozycji sterowników logicznych z zastosowaniem dualizmu hipergrafów.

EN

Hypergraphs are useful mathematical tools for compact representation of relations among local states in the state space of distributed, concurrent control automata (concurrent state machines). Therefore usage of hypergraphs is more efficient and intuitive than traditional solutions. For this reason we propose their application during the design process of reconfigurable logic controllers. It makes possible to decompose SFC or related control interpreted Petri net into parallel or sequentially related modules. In the paper new method of Petri net decomposition based on the hypergraph dualism is proposed.

Słowa kluczowe

PL

dualność hipergrafu; sieć Petriego; sterownik logiczny

EN

hypergraph duality; Petri nets; logic controllers

• Wydawca: Wydawnictwo SIGMA-NOT
• Czasopismo: Przegląd Telekomunikacyjny + Wiadomości Telekomunikacyjne
• Rocznik: 2008
• Tom: R. 81, nr 6
• Strony: 731--733
• Opis fizyczny: Bibliogr. 12 poz., schem.

Twórcy

autor

Wiśniewska M.

autor

Adamski M.

• Uniwersytet Zielonogórski, Instytut Informatyki i Elektroniki,

Bibliografia

• [1] Adamski M., Chodań M.: Modelowanie układów sterowania dyskretnego z wykorzystaniem sieci SFC. Wydawnictwo PZ, Zielona Góra, 2000.
• [2] Adamski M., Karatkievich A., Węgrzyn M. (ed.): Design of Embeded Control Systems. Springer Science (USA), 2005.
• [3] Biliński K., Adamski M., Saul J. M., Dagless E. L: Petri-net-based algorithms forparallel-controllersynthesis. IEE Proceedings - Computers and Digital Techniques, 1994, Vol. 141, No 6, s. 405-412
• [4] Banaszak Z., Kuś J., Adamski M.: Sieć Petriego. Modelowanie, sterowanie i synteza systemów dyskretnych, Wydawnictwo Wyższej Szkoły Inżynierskiej, Zielona Góra 1993.
• [5] Berge C.: Graphs and Hypergraph, North-Hols. r Mathematical Library, Amsterdam 1976.
• [6] David R, Alla H.: Petri Nets & Grafcet. Tools for modelling discrete event systems, Prentice Hall, New York, 1992.
• [7] De Micheli G.: Synteza i optymalizacja układów cyfrowych, Wydawnictwo Naukowo-Techniczne, Warszawa 1998.
• [8] Łuba T: Synteza układów logicznych, Wyższa Szkoła Informatyki Stosowanej i Zarządzania, Warszawa 2000.
• [9] Roguska A.: Ocena przydatności praktycznej interpretowanej sieci Petriego, sieci Grafcet i sieci SEC na podstawie projektu układu sterowania binarnego, Politechnika Zielonogórska, 2001 (praca inżynierska).
• [10] Wiśniewska M.: Wykorzystanie hipergrafów w dekompozycji sieci Petriego na podsieci typu automatowego, Materiały konferencyjne: VII Międzynarodowe Warsztaty Doktoranckie OWD, Wista, 2005, 81 -84.
• [11] Wiśniewska M., Wiśniewski R, Adamski M.: Usage of hypergraph theory in decomposition of concurrent automata, PAK,. 2007, nr 7
• [12] Valette R: Etude comparative de deuxoutils de representation: Grafcet et reseau de Petri, LeNouvel Automatisme, decembre 1978