Symbolic Semantics for the Verification of Security Properties of Mobile Petri Nets | Publicación