Explore projects

Common Code of DiNeROS

DiNeROS Petri net execution engine

e-RACR

Connecting Conceptual Models using Relational Reference Attribute Grammars

Transforms DiNeROS Petri Nets to P/T-Nets

LaTeX project template for our English students writing their BA/MA/DA theses

LaTeX project template for our German students writing their BA/MA/DA theses

The RelRAG and RSYNC implementations of the 2019 TTC case

Generates ROS-Java Packages for DiNeROS

Distributed Petri Nets to ROS Toolchain