Mahulea Cristian Albareda Albareda Jorge 2016 Trabajo que se engloba en el proyecto "Métodos y modelos formales para la gestión del servicio de salud" y consiste en la participación en el diseño e implementacion de la herramienta informática (HEAT), modelado de vías clínicas en formato UML y su análisis de dichas vías clínicas mediante Redes de Petri. TAZ