A Telemedicine System Using Petri Nets

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.