Distributed Petri Nets to ROS Toolchain
Transforms DiNeROS Petri Nets to P/T-Nets
DiNeROS Petri net execution engine
Common Code of DiNeROS
Transforms a global Petri net to local Petri nets
