论文部分内容阅读
工作流是对一组有关联的工作任务问的依赖关系进行的形式化描述。通过对目前流行的一些工作流产品的分析．针对现有工作流模型表达能力差，缺乏严格的形式化数学定义以及没有科学分析手段的缺点，引入有色Petri网的相关理论．建立一个工作流逻辑网以实现工作流的过程建模，该模型有严格的理论基础，并可以利用成熟的Petri网分析方法对业务流程进行分析，同时还具有一定的灵活性和可扩展性。