Designing motion plans for heterogeneous robot teams using a novel High-Level robot team Petri Net system.