Animación de Especificaciones OASIS Mediante Redes de Petri Orientadas a Objeto | Publicación