Formalization of Business Processes and Business Rules Model using Colored Petri Nets. - Tuan Nguyen Thanh; Nhan Le Thanh; Ha Hoang Thi Thanh (ICFNDS, 2021)

VeBPRu: A Toolchain for Formally Verifying Business Processes and Business Rules. - Tuan Nguyen Thanh; Nhan Le Thanh; Ha Hoang Thi Thanh; Thao Ha Thi (ICIIT, 2023)