Timed Compatibility Analysis of Web Service Composition: A Modular Approach Based on Petri Nets | IEEE Journals & Magazine | IEEE Xplore