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