Explore projects

Distributed Petri Nets to ROS Toolchain

Transforms DiNeROS Petri Nets to P/T-Nets

Common Code of DiNeROS

Transforms a global Petri net to local Petri nets

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

project homepage