Fig. 7 (from 4.4 Example of an incorrect specification of local behaviour)

A BPMN 2.0 model created with http://academic.signavio.com/ and exported to BPMN 2 XML. The example contains an intential flaw: the B2B interaction between an investor and custodian contains a design error which can be detected by means of the verification techniques described in the paper.