A Petri Net based Method for Analyzing Schedulability of Distributed Real-time Embedded Systems. - Liqiong Chen; Zhiqing Shao; Guisheng Fan; Hanhua Ma (J. Comput., 2008)

A Method for Analyzing and Predicting Reliability of BPEL Process. - Liqiong Chen; Zhiqing Shao; Guisheng Fan; Hanhua Ma (J. Softw., 2009)