Advances in informatics technologies have enabled new ways of attention in a health-care system. This kind of approach is commonly referred as a telemedicine. In this context, this work proposes an environment that facilitates the execution of a specific protocol of physical rehabilitation on a patient by a health care specialist through tele-operating technical aids. For this purpose, a service-oriented architecture was designed and implemented. In addition, considering the dynamics of the system oriented to occurrence of discrete events, formal modelling tool known as Coloured Petri Nets were used for validation and verification. Finally, numerous rehabilitation protocols were tested without presenting alterations with respect to the technical model.