A Petri Net Approach to Mediation-Aided Composition of Web Services | IEEE Journals & Magazine | IEEE Xplore