Yamaguchi, Shingo, and Mohd Anuaruddin Bin Ahmadon. 2019. “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 (2):104-11. https://doi.org/10.37936/ecti-cit.2019132.203107.