Yamaguchi, S., & Ahmadon, M. A. B. (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–111. https://doi.org/10.37936/ecti-cit.2019132.203107