Detail výsledku
Petri Nets for Embedded Systems - Translator and Interpreter, rev. 2015
Vznik: 2015
Typ
software
Jazyk
anglicky
Autoři
Richta Tomáš, Ing., Ph.D., UITS (FIT)
Janoušek Vladimír, doc. Ing., Ph.D., UITS (FIT)
Minář Michal, Ing.
Janoušek Vladimír, doc. Ing., Ph.D., UITS (FIT)
Minář Michal, Ing.
Popis
This software implements a translator and an interpreter of a subset of Reference Nets formalism for usage in embedded systems. It provides a means for dynamic reconfiguration of Petri nets in runtime.
Klíčová slova
Petri nets, Reference Nets, Embedded Systems
Umístění
Kontaktujte autory.
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
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ě
Ústav inteligentních systémů
(UITS)