A Petri net based approach for multi-robot path planning
scientific article; zbMATH DE number 6380087