The TaskSupervisor (TS) module receives materialflow specification from in an appropriate formal language (LoTLAn) and parameterized task specification. The TS process the received materialflow information and assigns transport order to the available robots within the TaskSupervisor. The TaskSupervisor is also able to publish the current state of the transport order. Any changes inside the system will be handled through this module.

TODO: graphic

Materialflow -> Orion -> TaskSupervisor -> TransportOrder -> AGV