WS-Net: A Petri-net based specification model for web servicesJia ZhangCarl K. Changet al.2004ICWS 2004