Kodowanie makrostanów rekonfigurowalnego sterownika matrycowego na podstawie struktury topologicznej interpretowanej sieci Petriego

• Autorzy: Tkacz J. , Adamski M.

Warianty tytułu

EN

Macrostate encoding of reconfigurable digital controllers from topological Petri net structure

• Języki publikacji: PL

Abstrakty

PL

W artykule przedstawiono metodę kodowania stanów lokalnych i globalnych cyfrowego sterownika matrycowego, realizowanego z wykorzystaniem struktur FPGA. Funkcjonowanie sterownika z wejściami i wyjściami opisanymi sygnałami binarnymi jest przedstawione z wykorzystaniem interpretowanej, sterującej sieci Petriego. Struktura topologiczna sieci jest odwzorowana na specyfikację logiczną w języku sekwentów Gentzena. Relacja sekwencyjności między miejscami sieci uzyskiwana jest metodą wnioskowania komputerowego.

EN

The paper presents the method of local and global states encoding for configurable logic controller, which is designed by means of Field Programmable Logic Arrays (FPGA). The desired behaviour of controller is specified as hierarchical control interpreted Petri net. The inputs and outputs of controller are described as sets of binary signals. Relationship among places of Petri net, such as concurrency and sequentiality is obtained by using symbolic deduction method and presented as hypergraphs.

Słowa kluczowe

PL

przestrzeń stanów interpretowanej sieci Petriego; kodowanie stanów lokalnych; kodowanie stanów globalnych; hipergraf sekwencyjności; wnioskowanie formalne; sekwenty Gentzena

EN

interpreted Petri net state space; local and global state encoding; hyperpgraph; formal reasoning; gentzen sequents; Petri net

• Wydawca: Wydawnictwo SIGMA-NOT
• Czasopismo: Przegląd Elektrotechniczny
• Rocznik: 2012
• Tom: R. 88, nr 8
• Strony: 137--140
• Opis fizyczny: Bibliogr. 19 poz., rys., wykr.

Twórcy

autor

Tkacz J.

autor

Adamski M.

• Uniwersytet Zielonogórski, Instytut Informatyki i Elektroniki, ul. Podgórna 50, 65-246 Zielona Góra,

Bibliografia

• [1] Design of embedded control systems, (Red.) Adamski M, Karatkevich A, Węgrzyn M. .- New York : Springer, 2005, 267 s.
• [2] Tkacz J., Adamski M.: Projektowanie sekwencyjnych układów cyfrowych z wykorzystaniem logiki sekwentów Gentzena, Przegląd Elektrotechniczny .- 2009, R. 85, nr 7, s. 196-199.
• [3] Adamski M., Węgrzyn M.: Petri nets mapping into reconfigurable logic controllers. Electronics and Telecommunications Quarterly, 2009, Vol. 55, no 2, s. 157-182.
• [4] Biliński, K., Adamski, M., Saul, J.M., and Dagless, E.L. (1994). Petri net based algorithms for parallel controller synthesis. IEE Proceedings, Part E: Computers and Digital Techniques. 141 (6). pp.405-412.
• [5] Kozłowski, T., Dagless, E.L., Saul, J.M., Adamski, M., and Szajna, J. (1995). Parallel controller synthesis using Petri nets. IEE Proceedings, Part E: Computers and Digital Techniques. 142 (4). pp.263-271.
• [6] Węgrzyn M., Adamski M. :Wykorzystanie standardowych kompilatorów FPLD do syntezy sterowników logicznych, Kwartalnik Elektroniki i Telekomunikacji .- 1997, T. 43, z. 3, s. 353-372.
• [7] Adamski M., Tkacz J.: Formal reasoning in logic design of reconfigurable controllers. IFAC Workshop on Programmable Devices and Embedded. PDeS, Brno 2012.
• [8] Tkacz J., Adamski M.: Wyznaczanie SM - pokrycia bezpiecznej sieci Petriego metodą komputerowego wnioskowania, Pomiary, Automatyka, Kontrola .- 2011, Vol. 57, nr 11, s. 1397-1400.
• [9] Tkacz J.: Projektowanie układów sterowania binarnego wspomagane automatycznym wnioskowaniem Gentzena, rozprawa doktorska, Zielona Góra 2008.
• [10] Wiśniewska, M., Wiśniewski, R., Adamski, M., (2007), Usage of hypergraph theory in decomposition of concurrent automata, MAaM, no. 7, pp. 66-68.
• [11] Gallier J.H., Logic for computer science, Foundations of Automatic Theorem Proving. Harper & Row, (1986).
• [12] Karatkevich A.: Dynamic Analysis of Petri Net Based Discrete Systems. LNCiS, vol.356, Springer-Verlag, Berlin 2007.
• [13] Murata T.: Petri Nets: Properties, Analysis and Applications, Proceedings of the IEEE, Vol. 77, No. 4, 1989.
• [14] Ramaswamy S., Yamijala G., Neelakantan R., Rajan P.K.: Model Driven Design of Stable Software Systems: A Petri Net Based Approach International Journal of Intelligent Control and Systems, June 2005, pp. 175-187.
• [15] Węgrzyn A.: Symboliczna analiza układów sterowania binarnego z wykorzystaniem wybranych metod analizy sterowania binarnego. Oficyna Wydawnicza Uniwersytetu Zielonogórskiego, Zielona Góra 2003.
• [16] Węgrzyn M., Węgrzyn A.: PeNLogic - system for concurrent logic controllers design, Design of digital systems and devices / eds M. Adamski, A. Barkalov, M. Węgrzyn .- Berlin : Springer- Verlag, 2011 - (Lecture Notes in Electrical Engineering ; 79) - s. 215-228.
• [17] Dylewski R., Adamski M., Jabłoński J.: Zastosowanie programowania liniowego do badania sieci Petriego, Przegląd Elektrotechniczny .- 2011, nr 11, s. 159-163.
• [18] Jensen, K., Kristensen, L.M., and Wells, L. (2007). Coloured Pteri nets and CPN tools for modeling and validation of concurrent systems. Int J Softw Tools Technol Transfer, 9, pp. 213-254.
• [19] Adamski M., Węgrzyn M.: Design of reconfigurable logic controllers from Petri Net-based specifications. Discrete-Event System Design - DESDes '09 : preprints of the 4th IFAC Workshop. Gandia Beach, Spain, 2009, pp. 233-238.