Enviar por SMS: High-level petri nets for the process description and control in service-oriented manufacturing systems