Explore projects

Full-fledged Role Modeling EDitor Software Product Line (FRaMED SPL) (Version 2.0)

Transforms a global Petri net to local Petri nets

An extensible Fortran parser for JastAdd

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

Fork of https://github.com/openhab/openhab-android

Generates ROS-Java Packages for DiNeROS

Connecting smartphone and smartwatch exchanging sensor information.

Transforms DiNeROS Petri Nets to P/T-Nets

Combination of RSUM and RSYNC including the query by-example approach.

DiNeROS Petri net execution engine