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.