Explore projects

project homepage

Fork of https://bitbucket.org/extendj/ragdoc-builder/

Connecting Conceptual Models using Relational Reference Attribute Grammars

Combination of Multi-Quality Auto-Tuning (MQuAT) and Reference Attribute Controlled Rewriting (RACR).

A grammar and reader for Petri nets in the PNML format.

Transforms a global Petri net to local Petri nets

Generates ROS-Java Packages for DiNeROS

Transforms DiNeROS Petri Nets to P/T-Nets

DiNeROS Petri net execution engine

Common Code of DiNeROS

Combined openHAB 2 binding for all devices using for demos

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

Original NatSpec from DevBoost