Kolorowanie automatowe sieci Petriego metodą wnioskowania symbolicznego

• Autorzy: Tkacz J.

Warianty tytułu

EN

State Machine type colouring of Petri net by means of using a symbolic deduction method

• Języki publikacji: PL

Abstrakty

PL

W referacie przedstawiono sposób dekompozycji sieci Petriego za pomocą naturalnego wnioskowania Gentzena na podsieci typu automatowego. Normalizacja i minimalizacja zbioru reguł z zastosowaniem algorytmu wnioskującego może zostać wykorzystana w procesach wyznaczania podsieci automatowych reprezentujących zdekomponowane, niezależne fragmenty większego układu sterowania. Prezentowana metoda, w odróżnieniu od innych, znanych z literatury, nie wymaga pełnego przekształcenia równania charakterystycznego, reprezentującego listę sąsiedztwa w celu uzyskania pierwszego rozwiązania.

EN

The paper presents a concept and design methodology for decomposition of logic controllers' specification by means of using Gentzen symbolic reasoning. Specification of logic controller behaviour can be represented by Petri net, which can be decomposed into simplified subnets. These subnets directly represent smaller and independent parts of logic controller. The first result (Petri net State Machine-subnet), obtained from symbolic deduction, can be generated without complete analysis of characteristic logic expression, created from local state space description.

Słowa kluczowe

PL

logika Gentzena; sekwent; wnioskowanie symboliczne; sterowniki logiczne; sieci Petriego; składowe automatowe; dekompozycja

EN

Gentzen logic; sequent; symbolic deduction; logic controllers; Petri nets; decomposition

• Wydawca: Wydawnictwo PAK
• Czasopismo: Pomiary Automatyka Kontrola
• Rocznik: 2007
• Tom: R. 53, nr 5
• Strony: 120--122
• Opis fizyczny: Bibliogr. 12 poz., rys., tab., wzory

Twórcy

autor

Tkacz J.

• Instytut Informatyki i Elektroniki, Uniwersytet Zielonogórski,

Bibliografia

• [1] Adamski M.: Projektowanie układów cyfrowych systematyczną metodą strukturalną, Wydawnictwo Wyższej Szkoły Inżynierskiej w Zielonej Górze, Zielona Góra 1990.
• [2] Adamski M.: Parallel Controller implementation using Standard PLD Software. FPGAs. Abingdon, England 1991, pp 296-304.
• [3] Adamski M., Karatkevich A., Węgrzyn M.: Design of embedded control systems. - New York : Springer, 2005, s. 267.
• [4] Biliński 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, ss. 405-412.
• [5] Gallier J. H.:Logic for computer science. Foundations of Automatic Theorem Proving. Harper & Row 1986.
• [6] Deo N. Teoria grafów i jej zastosowania w technice i informatyce. PWN Warszawa 1980.
• [7] Mathony H. J.: Universal logic design algorithm and its application the synthesis of two-level switching circuits. IEE Proceedings Letters, Elsevier Science Publishers (North Holland), Vol. 29, 1990, pp. 195-210.
• [8] Murata T.: Petri nets: properties, analysis and applications. Proceedings of the IEEE 1989, Vol.77, No4, ss. 541-580.
• [9] Suraj Z., Szpyrka M.: Sieci Petriego I PN-Tools. Wydawnictwo Wyższej Szkoły Pedagogicznej, Rzeszów 1999.
• [10] Tkacz J.: Komputerowe wspomaganie przekształceń symbolicznych Gentzena. IV Krajowa konferencja: Metody i systemy komputerowe w badaniach naukowych i projektowaniu inżynierskim. Kraków, Polska, 2003, ss. 113-116.
• [11] Węgrzyn A.: Symboliczna analiza układów sterowania binarnego z wykorzystaniem wybranych metod analizy sieci Petriego. Wydawnictwo Politechniki Zielonogórskiej, Zielona Góra 1996.
• [12] Węgrzyn M., Wolański P., Adamski M., Monteiro J. L.: Coloured Petri net model of application specific Logic Controller programs. W: Proceedings of the IEEE International Symposium on Industrial Electronics-ISIE '97. Guimaraes, Portugalia, 1997.- Piscataway, 1997.- Vol. 1, s. 158-163.