A Petri Net-Based Method for Compatibility Analysis and Composition of Web Services in Business Process Execution Language | IEEE Journals & Magazine | IEEE Xplore