中文摘要：

工作流技术可以加速企业过程感知信息系统的研发及更新演化,近年来得到了广泛应用,导致各行各业积累了大量的工作流模型。Petri网既有简单的图形化表示,又有很好的形式化基础,故常被用于表示这些工作流模型。如何对这些海量模型进行高效检索是一个难题。由于动态行为特性是工作流模型的本质特性,故需要基于任务之间的行为关系进行查询。因果关系是任务间行为关系的一种,对任务间因果关系进行了分类,并针对无环工作流模型提出了有效的判定算法。

英文摘要：

Since the technology of workflow is helpful to improving the efficiency of process aware information system construction and evolution,it is being more widely used.The wide use of workflow technology results in a large number of workflow models.How to query on such a large number of models is challenging.Since behavior is the essential characteristics of workflow models,query based on relations between tasks is necessary.Causal relation is one kind of relations between tasks.The causal relations between tasks were classified and an efficient algorithm was proposed to determine the different causal relations between tasks for acyclic workflow models.