Planning and basic programming

• Analysis of the logical correctness of FMS using Petri Nets
  • Motivation examples
  • Petri Nets
  • Qualitative analysis
  • Videos and exercises
  • Documentation
• Tutorial T1: Programming with the Universal Robots
  • e-Series Core Track
  • e-Series Pro Track
  • UR simulator
• Practical P1: A robotic manufacturing cell - Qualitative analysis and programming
  • The problem
  • PN modelling
  • Programming the robot