Hi Tobias,
I think I've seen the scenario you described in jpbm-examples JUnit test suite, test case BPMN2-EventBasedSplit2. The only difference is that JUnit sample uses undefined diverge gateway and your sample uses AND diverge gateway. Could you try with non-defined diverge gateway and see if it is going to work?
HTH
Miljenko