Yamaguchi S, Ahmadon MAB. Process tree-based analysis method of DECLARE relation constraints in acyclic bridge-less well-structured workflow nets. ECTI-CIT Transactions [internet]. 2019 Oct. 7 [cited 2026 Sep. 14];13(2):104-11. available from: https://ph01.tci-thaijo.org/index.php/ecticit/article/view/203107