Gravar-mail: Some rules to transform sequence diagrams into coloured Petri nets