论文部分内容阅读
面向Web服务的工作流系统能很好地满足现代企业应用集成和协作的需求，Web服务流程模型的建立是实现Web服务集成的重要环节。Petri网具有形式化的描述的基础和正确性分析的优点。文章将这两方面结合起来．对工作流网中控制流结构进行了分析，给出了由Petri网向WSFL转化的方法，并给出Petri模型中控制流结构的WSFL描述。