Petri Nets editor for designing robotics plans using the framework developed by Pedro Lima. and Hugo Costelha at IST in Lisbon, Portugal.
