Detail produktu

Petri Nets for Embedded Systems - Translator and Interpreter, rev. 2015

Vznik: 2015

Název česky
Petri Nets for Embedded Systems - Translator and Interpreter, rev. 2015
Typ
software
Licence
Využití výsledku jiným subjektem je v některých případech možné bez nabytí licence
Licenční poplatek
Poskytovatel licence na výsledek nepožaduje licenční poplatek
Autoři
Richta Tomáš, Ing., Ph.D.
Janoušek Vladimír, doc. Ing., Ph.D. (UITS)
Minář Michal, Ing.
Klíčová slova

Petri nets, Reference Nets, Embedded Systems

Popis

Tento software implementuje translátor a interpret podmnožiny formalismu Reference Nets určený k použití ve vestavěných systémech. Poskytuje možnost dynamické rekonfigurace Petriho sítí za běhu.

Umístění

Kontaktujte autory.

Licenční podmínky


Freeware pro výzkum a výuku.
Pro informace o licenčních podmínkách prosím kontaktujte: Mgr. Michaela Burianová, Výzkumné centrum informačních technologií, Fakulta informačních technologií VUT v Brně, Božetěchova 2, 612 66 Brno, 541 141 470.

Projekty
Bezpečné a spolehlivé počítačové systémy, VUT, Vnitřní projekty VUT, FIT-S-17-4014, zahájení: 2017-03-01, ukončení: 2020-02-29, ukončen
Pracoviště
Nahoru