Resumen: En este proyecto se considerarán dos vías clínicas, la de artroplastia de cadera y la de artroplastia de rodilla que han sido modeladas en el lenguaje de modelado unificado (UML) y transformadas a modelos formales (redes de Petri). Realizando simulaciones de los modelos formales se puede optimizar los tiempos de actuación, optimizar los recursos hospitalarios, etc. Las herramientas utilizadas son: -HEAT-Monitor se ha implementado para monitorizar los pacientes ingresados en el HCU de Zaragoza que siguen una vía clínica. -HEAT-Designer se utiliza para modelar y analizar las vías clínicas en lenguaje UML y permite al mismo tiempo transformaciones a modelos de redes de Petri para un análisis formal. -TimeNET: Para poder hacer un análisis matemático utilizando las redes de Petri. -CPN Tools: Que se quiere utilizar a cambio de TimeNET(porque no es capaz de soportar Redes de Petri coloreadas de tamaño grande). En este proyecto el CPN Tools se ha utilizada para modelar las vías clínicas pero aún no se ha realizado simulaciones para analizar los modelos.