用着色Petri网建模工作流模式

工作流模式指在工作流过程模型中反复出现的过程基本构造，是衡量工作流建模语言在控制流方面的表达能力和适用性的重要标准，目前市场上的工作流引擎对其支持得并不好。本文重点阐述了基于着色Petri网的工作流建模语言对当前流行的20种工作流模式的支持情况。结果表明，该语言不仅能很好地支持全部模式，而且具有建模简洁、准确的特点。同其它建模语言相比，用着色Petri网建模工作流模式具有较好的灵活性和扩展性。它也为如何使基于着色Petri网的工作流引擎能够正确、有效地支持全部20种工作流模式提供了有意义的指导。

Modeling Workflow Patterns Using Coloured Petri Nets

Workflow patterns refer to the basic process constructs which occur repeatedly in workflow process models. It is an important criterion to evaluate the expressiveness and suitability of a workflow modeling language in control flow perspective. Currently, no workflow engine can fully support all the needed patterns. This paper gives a comprehensive analysis on the adaptability of the workflow modeling language based on Coloured Petri Nets in modeling the 20 popular workflow patterns. The analysis result shows that the language can support all the workflow patterns very well with the characteristics of concision and preciseness. In addition, compared with other modeling languages, Coloured Petri Nets-based modeling language is more flexible and extensihle in modeling workflow patterns. It is also helpful for making Coloured Petri Nets based workflow engines support all the 20 workflow patterns correctly and efficiently.