A Petri Net Siphon Based Solution to Protocol-Level Service Composition Mismatches | IEEE Conference Publication | IEEE Xplore