Modeling and Reliability Prediction of WS-CDL Based Service Composition, a Petri-Net-Based Approach | IEEE Conference Publication | IEEE Xplore