提出了Web 服务业务流程执行语言的CPN 建模方法,描述了基于Web 服务业务流程的工作流行为特性。在对BPEL4WS 的基本活动和结构性活动进行分析的基础上,给出了利用CPN 对流程进行建模的方法。然后结合具体实例阐述了利用该方法建模的详细过程, 并对所生成的Petri 网模型进行验证。 关键词:业务流程执行语言着色 Petri 网建模 Abstract: This paper introduces the modeling method of BPEL4WS based on colored petri net, describes the basic structure of business flow using the colored petri net. After the analysis of the basic activities and structured activities in business processes defined by BPEL4WS, it gives a modeling algorithm using the colored petri nets. Then by a sample, it explains the detailed modeling course using the algorithm and validates the property of the outcome model. Keywords: BPEL4WS CPN Web Modeling