Complexity Analysis for Petri Net-Based Business Process in Web Service Composition | IEEE Conference Publication | IEEE Xplore