Dekompozycja równoległa automatów współbieżnych z wykorzystaniem hipergrafów

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

Warianty tytułu

EN

Usage of hypergraphs in decomposition of concurrent automata

• Konferencja: Konferencja Informatyka - Sztuka czy Rzemiosło (19-22 czerwca 2006; Złotniki Lubańskie; 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 pozwala w przejrzysty sposób opisywać nie tylko relację 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 Petriego sterowania, na moduły, na przykład szeregowe lub równoległe.

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). It seams that usage of hypergraphs here 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.

Słowa kluczowe

PL

hipergraf; transwersala; sieci Petriego; sterownik logiczny

EN

hypergraph; transversals; Petri nets; logic controllers

• Wydawca: Wydawnictwo PAK
• Czasopismo: Pomiary Automatyka Kontrola
• Rocznik: 2006
• Tom: R. 52, nr 6 bis
• Strony: 8--10
• Opis fizyczny: Bibliogr. 10 poz.

Twórcy

autor

Adamski M.

autor

Wiśniewska M.

• Instytut Informatyki i Elektroniki, Uniwersytet Zielonogórski,

Bibliografia

• [1] Adamski M., Chodań M.: Modelowanie układów sterowania dyskretnego z wykorzystaniem sieci SFC. Wydawnictwo Politechniki Zielonogórskiej, Zielona Góra, 2000.
• [2] Adamski M., Karatkievich A., Węgrzyn M. (ed.): Design of Embeded Control Systems. Springer Science (USA), 2005.
• [3] Bilinski K., Adamski M., Saul J. M., Dagless E.L.:Petri-net-based algorithms for parallel-controller synthesis. 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] Małysiak H. (red.): Układy przełączające w automatyce. WNT, Warszawa, 1986.
• [10] Wiśniewska M.: Wykorzystanie hipergrafów w dekompozycji sieci Petriego na podsieci typu automatowego, Materiały konferencyjne: VII Międzynarodowe Warsztaty Doktoranckie OWD, Wisła, 2005, 81-84.