Marwa Gam, Dimitri Lefebvre, Achraf Jabeur Telmoudi, Lotfi Nabli: Configuration of surveillance patrols with Petri nets for safety issues. CoDIT 2020: 427-432