Describir: Modelling and Fault Diagnosis by Means of Petri Nets. Unmanned Aerial Vehicle Application