A Hybrid Petri Nets approach for Unmanned Aerial Vehicles monitoring