Цахим шуудангийн бүртгэл: Animación de Especificaciones OASIS Mediante Redes de Petri Orientadas a Objeto