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