Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "global state" wg kryterium: Temat


Tytuł:
Kodowanie makrostanów rekonfigurowalnego sterownika matrycowego na podstawie struktury topologicznej interpretowanej sieci Petriego
Autorzy:
Tkacz, J.
Adamski, M.
Data publikacji:
2012
Słowa kluczowe:
przestrzeń stanów interpretowanej sieci Petriego
kodowanie stanów lokalnych
kodowanie stanów globalnych
hipergraf sekwencyjności
wnioskowanie formalne
sekwenty Gentzena
interpreted Petri net state space
local and global state encoding
hyperpgraph
formal reasoning
gentzen sequents
Petri net
Pokaż więcej
Dostawca treści:
BazTech
Artykuł

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies