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

Type

software

Language

English

Authors

Richta Tomáš, Ing., Ph.D.
Janoušek Vladimír, doc. Ing., Ph.D., DITS (FIT)
Minář Michal, Ing.

Description

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.

Keywords

Petri nets, Reference Nets, Embedded Systems

Location

Kontaktujte autory.

License

Use of the result by another entity is possible without acquiring a license in some cases

License Fee

The licensor does not require a license fee for the result

Projects

Bezpečné a spolehlivé počítačové systémy, BUT, Vnitřní projekty VUT, FIT-S-17-4014, start: 2017-03-01, end: 2020-02-29, completed

Departments

Department of Intelligent Systems (DITS)