Yamaguchi, S.; Ahmadon, M. A. B. Process tree-based analysis method of DECLARE relation constraints in acyclic bridge-less well-structured workflow nets. ECTI-CIT Transactions 2019, 13, 104-111.