Collaborative BPMN editor