Product Details
Petri Nets for Embedded Systems - Translator and Interpreter, rev. 2015
Created: 2015
Czech title
Petri Nets for Embedded Systems - Translator and Interpreter, rev. 2015
Type
software
License
optional - free
Authors
Richta Tomáš, Ing. (DITS FIT BUT)
Janoušek Vladimír, doc. Ing., Ph.D. (DITS FIT BUT)
Minář Michal, Ing. (FIT BUT)
Janoušek Vladimír, doc. Ing., Ph.D. (DITS FIT BUT)
Minář Michal, Ing. (FIT BUT)
Keywords
Petri nets, Reference Nets, Embedded Systems
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.
Location
On request. Send a message.
Projects
Secure and Reliable Computer Systems (FIT-S-17-4014)