Explore projects

Transforms DiNeROS Petri Nets to P/T-Nets

Common Code of DiNeROS

DiNeROS Petri net execution engine

Transforms a global Petri net to local Petri nets

project homepage

Quality-based Software-Selection and Hardware-Mapping as Model Transformation Problem

Jastadd solution for the live contest of TTC18

Artefact source code for "Relational Reference Attribute Grammars: Improving Continuous Model Validation" (https://zenodo.org/record/3666664)

e-RACR

Connecting Conceptual Models using Relational Reference Attribute Grammars

The RelRAG and RSYNC implementations of the 2019 TTC case

Generates ROS-Java Packages for DiNeROS

An extensible relast source-to-source compiler