System update scheduled for Friday, December 1st between 08:15 and 08:45 CET. If unpleasant, please contact Andreas or Markus.
Clone of https://bitbucket.org/jastadd/jastadd2 - With CI-built package
Contains everything from the ModelJoin syntax for our role projects.
Original NatSpec from DevBoost
Fork of https://github.com/openhab/openhab-android
Combined openHAB 2 binding for all devices using for demos
Common Code of DiNeROS
DiNeROS Petri net execution engine
Transforms DiNeROS Petri Nets to P/T-Nets
Generates ROS-Java Packages for DiNeROS
Transforms a global Petri net to local Petri nets
A grammar and reader for Petri nets in the PNML format.
Combination of Multi-Quality Auto-Tuning (MQuAT) and Reference Attribute Controlled Rewriting (RACR).
Connecting Conceptual Models using Relational Reference Attribute Grammars