DiNeROS Petri net execution engine
Distributed Petri Nets to ROS Toolchain
Generates ROS-Java Packages for DiNeROS
Common Code of DiNeROS
Transforms DiNeROS Petri Nets to P/T-Nets
Transforms a global Petri net to local Petri nets
BING Impulslab Robotics
An extensible relast source-to-source compiler
project homepage