Leifeng He, Guanjun Liu, Mimi Wang: A Sufficient and Necessary Condition to Decide Compatibility for Simple Circuit Inter-organization Workflow Nets. APSCC 2016: 408-422