Composition and Reduction of Web Service Based on Dynamic Timed Colored Petri Nets | IEEE Conference Publication | IEEE Xplore