Jiaquan Sun

Publication Activity (10 Years)

Years Active: 2018-2019
Publications (10 Years): 2

Top Topics

Workflow Execution

Multiple Objects

Workflow Systems

Top Venues

Publications

Jiaquan Sun, Guanjun Liu, Dongming Xiang, Changjun Jiang
A Petri-net-based Method For Detecting Bugs in Multiple Threads. ICNSC (2019)
Yaqiong He, Guanjun Liu, Dongming Xiang, Jiaquan Sun, Chungang Yan, Changjun Jiang
Verifying the Correctness of Workflow Systems Based on Workflow Net With Data Constraints. IEEE Access 6 (2018)