Explore projects

Teaching resource for the topic of "Model-driven Software Development" MDSD Pipeline for a example domain "State Machine". Technologie stack: EMF/Ecore, Eclipse Plugin

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

Distributed Petri Nets to ROS Toolchain