Numer: 08/2012 Str. 137
Autorzy: Jacek Tkacz , Marian Adamski :
Tytuł: Kodowanie makrostanów rekonfigurowalnego sterownika matrycowego na podstawie struktury topologicznej interpretowanej sieci Petriego
Streszczenie: 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.
Słowa kluczowe: Przestrzeń stanów interpretowanej sieci Petriego, kodowanie stanów lokalnych i globalnych, hipergraf sekwencyjności, wnioskowanie formalne, sekwenty Gentzena.