Verifying the Correctness of Workflow Systems Based on Workflow Net With Data Constraints. - Yaqiong He; Guanjun Liu; Dongming Xiang; Jiaquan Sun; Chungang Yan; Changjun Jiang (IEEE Access, 2018)

A Petri-net-based Method For Detecting Bugs in Multiple Threads. - Jiaquan Sun; Guanjun Liu; Dongming Xiang; Changjun Jiang (ICNSC, 2019)