Yamaguchi, Shingo, and Mohd Anuaruddin Bin Ahmadon. “Process tree-based analysis method of DECLARE relation constraints in acyclic bridge-less well-structured workflow nets”. ECTI Transactions on Computer and Information Technology (ECTI-CIT) 13, no. 2 (October 7, 2019): 104–111. accessed September 14, 2026. https://ph01.tci-thaijo.org/index.php/ecticit/article/view/203107.