Enviar por SMS: High-level petri nets control modules for service-oriented devices: a case study