Configuration of surveillance patrols with Petri nets for safety issues

Safety and risks prevention in numerous industrial domains require a systematic monitoring of areas with high-risk level. The surveillance tasks can be assessed by smart sensor systems. This work is devoted to configure a patrol of mobile robots associated with sets of sensors in order to perform a given sequence of surveillance tasks at minimal cost. The environment to be monitored as the trajectories of the robots are modelled with Petri nets. The objective is reformulated as an initial marking optimization problem in the Petri net framework. A real case is considered with the port area in Le Havre City.