论文部分内容阅读
目前，过程企业普遍面临着需要对已有Web服务进行集成来实现内部和外部的协同和集成的问题.本文提出一种基于Petri网的Web服务流程建模方法,通过将Petri网引入建模过程弥补了原建模过程中无法直观感受模型的不足。通过建立一套完备的形式化定义，保证了建立模型的正确性。通过将紧同步随机Petri网引入建模过程，可以更好地描述实际业务.使用该方法可以很好地解决在Web流程建模过程中存在的无法确保模型的正确性和与具体业务的紧密吻合问题，也为其他领域中的流程建模仿真提供了一种很好的解决问题的方法和思路.