Analyzing Realizability of BPMN Choreographies. - Mei Zhang; Hui Li; Zuyuan Huang; Yudou Huang; Fu Bao (DASC/PiCom/CBDCom/CyberSciTech, 2022)