Service net algebra based on logic Petri nets. - Qiang Hu 002; Yuyue Du; ShuXia Yu (Inf. Sci., 2014)

Coloured Logic Petri Nets and analysis of their reachable trees. - Jing Wang; Yuyue Du; ShuXia Yu (Enterp. Inf. Syst., 2015)