Xia Jiang Bing Wu YuYue Du Architecture of Dynamic Service Composition Using Logic Petri Nets. 585-589 2011 4 JSEA 10 http://dx.doi.org/10.4236/jsea.2011.410068 db/journals/jsea/jsea4.html#JiangWD11