No/VOL: 08/2012 Page no. 137
Authors: Jacek Tkacz , Marian Adamski :
Title: Kodowanie makrostanów rekonfigurowalnego sterownika matrycowego na podstawie struktury topologicznej interpretowanej sieci Petriego
Abstract: 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.
Key words: Przestrzeń stanów interpretowanej sieci Petriego, kodowanie stanów lokalnych i globalnych, hipergraf sekwencyjności, wnioskowanie formalne, sekwenty Gentzena.