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 2024 May 20];13(2):104-11. Available from: https://ph01.tci-thaijo.org/index.php/ecticit/article/view/203107