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
Fork of the official "rosjava_catkin_package_a" tutorial.