基于Petri网的Web服务组合验证方法 (Verification Methods Based on Petri Networks for Web Services Composition)