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 May 20, 2024. https://ph01.tci-thaijo.org/index.php/ecticit/article/view/203107.