Coding Mobile Synchronizing Petri Nets into Rewriting Logic | Publicación