Los laboratorios virtuales se han utilizado cada vez más en la educación terciaria para las ciencias naturales y aplicadas, especialmente debido a la pandemia de COVID, generando una inversión sustancial en aplicaciones de software correspondientes, incluidos experimentos y procedimientos de simulación. Sin embargo, es costoso y consume mucho tiempo analizar, comprender, modelar e implementar los experimentos virtuales, especialmente cuando es necesario crear nuevos desde cero, pero también cuando deben ser rediseñados y adaptados a una audiencia en un entorno educativo diferente. Utilizamos Diagramas de Actividad de UML y redes de Petri para modelar procedimientos experimentales y luego aplicamos verificación de conformidad para detectar posibles no conformidades entre el comportamiento del modelo esperado y la ejecución real del modelo. Como resultado, proporcionamos una estimación de la proximidad conceptual entre experimentos realizados en diferentes entornos educativos utilizando el mismo software de laboratorio virtual, ayudando a educadores y desarrolladores a tomar decisiones informadas sobre la reutilización y el rediseño del software al proporcionar una forma sistemática y formal de evaluar la aplicabilidad del software. Se utilizó un experimento de microscopía virtual como estudio de caso para fines de validación. Los resultados revelaron que el software específico del laboratorio virtual se puede trasladar, sin modificaciones, de la educación terciaria a la secundaria, para lograr resultados de aprendizaje relevantes para ese nivel educativo, a pesar de que originalmente fue diseñado para una universidad de educación a distancia. El marco propuesto tiene aplicaciones potenciales más allá de los laboratorios virtuales, ya que un enfoque general para el modelado de procesos y la verificación de conformidad para evaluar la similitud entre la especificación de los procedimientos experimentales y los registros de ejecución reales se puede aplicar a varios dominios.