Transforming XPDL to Petri Nets. - Haiping Zha; Yun Yang 001; Jianmin Wang 001; Lijie Wen 001 (Business Process Management Workshops, 2007)

An InnovativeWorkflow Product Structure. - Haiping Zha; Lijie Wen 001; Jianmin Wang 001 (COMPSAC (1), 2007)

A label-free similarity measure between workflow nets. - Haiping Zha; Jianmin Wang 001; Lijie Wen 001; Chaokun Wang (APSCC, 2009)

A workflow net similarity measure based on transition adjacency relations. - Haiping Zha; Jianmin Wang 001; Lijie Wen 001; Chaokun Wang; Jiaguang Sun 001 (Comput. Ind., 2010)

Verifying workflow processes: a transformation-based approach. - Haiping Zha; Wil M. P. van der Aalst; Jianmin Wang 001; Lijie Wen 001; Jiaguang Sun 001 (Softw. Syst. Model., 2011)