Automatic Web Services Composition Based on Reasoning Petri Net | IEEE Conference Publication | IEEE Xplore