Petri nets‐based model for the analysis of NORIA protocol | Publicación