S. Yamaguchi and M. A. B. Ahmadon, “Process tree-based analysis method of DECLARE relation constraints in acyclic bridge-less well-structured workflow nets”, ECTI-CIT Transactions, vol. 13, no. 2, pp. 104–111, Oct. 2019.