A Petri Net Approach to Reliable Execution for Web Service Composition | IEEE Conference Publication | IEEE Xplore