Enviar por SMS: Some rules to transform sequence diagrams into coloured Petri nets