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)

Supplementary material for "How to improve the understanding of roles in modeling"

Docker image for artefact of "Continuous model validation using reference attribute grammars" (https://dl.acm.org/doi/10.1145/3276604.3276616)

e-RACR