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

The RelRAG and RSYNC implementations of the 2019 TTC case

Generates ROS-Java Packages for DiNeROS

An extensible relast source-to-source compiler

Transforms a global Petri net to local Petri nets