Un sistema de telemedicina con redes de Petri.

Several technologies in electronics and informatics have been merged into medicine field. It is commonly called telemedicine. Specifically, this work proposes to scenario and an environment which a specific protocol of physical rehabilitation process can be executed and applied to a patient by a healthcare specialist who are geographically distant one another. In this sense, a Service Oriented Architecture (SOA) was designed and analyzed, trying to ensure the right communication process. Colored Petri Nets was used as a formal modelling tool. Finally, a brief mathematical approach is shown aiming to validate the architecture specifications.Varias tecnologías en electrónica e informática se han fusionado en el campo de la medicina. Se llama comúnmente telemedicina. Específicamente, este trabajo propone un escenario y un entorno en el que un protocolo específico de proceso de rehabilitación física puede ser ejecutado y aplicado a un paciente por un especialista en atención médica que esté geográficamente distante entre sí. En este sentido, se diseñó y analizó una Arquitectura Orientada a Servicios (SOA), tratando de garantizar el proceso de comunicación correcto. Color Petri Nets se utilizó como herramienta de modelado formal. Finalmente, se muestra un breve enfoque matemático con el objetivo de validar las especificaciones de la arquitectura