Inclusão de atividades sequenciais no BPMN e detecção de loops