Mapping Petri Nets to Parallel Programs in CC++. - Weili Yao; Xudong He (COMPSAC, 1996)

Translating hierarchical predicate transition nets to CC++ program skeletons. - Xudong He; Weili Yao (COMPSAC, 1997)

Mapping Petri nets to concurrent programs in CC++. - Weili Yao; Xudong He (Inf. Softw. Technol., 1997)

An Improved Algorithm for Concurrency Control in Distributed Database Systems. - Weili Yao; William Perrizo; Xudong He (Inf. Sci., 1997)