Dimitri Lefebvre: Near-optimal control sequence design for untimed Petri nets based on a reduced breadth and depth exploration. CoDIT 2017: 79-84