Architecture of Dynamic Service Composition Using Logic Petri Nets. - Xia Jiang; Bing Wu; YuYue Du (J. Softw. Eng. Appl., 2011)