PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
Tytuł artykułu

Kolorowanie automatowe sieci Petriego metodą wnioskowania symbolicznego

Autorzy
Treść / Zawartość
Identyfikatory
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.
Wydawca
Rocznik
Strony
120--122
Opis fizyczny
Bibliogr. 12 poz., rys., tab., wzory
Twórcy
autor
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.
Typ dokumentu
Bibliografia
Identyfikator YADDA
bwmeta1.element.baztech-article-BSW4-0037-0041
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.