Abstract: The authors present a more novel Petri-net-based model featured by places with new properties to specify workflow process and represent advanced workflow patterns, and propose a newpattern named parameterized pattern. In the model, through distinguishing transitions fromroutings, place and transition are ableto represent actions of engine andtask respectively. Since the classical token-game semantic behavior of a Petri net-based workflow model is not suitable for describing the behavior of workflow process, the semantics of extended-place-net-based model with STfiring rules is given to capture and simulate workflow behavior.

Key words: workflowprocess modeling, workflowpattern, extended place nets, Petri nets

摘要： 通过扩展库所的属性, 给出了一种新的Petri网模型，用来规约工作流过程和表示工作流模式，并提出了一种称为参数化模式的新模式。通过区别变迁和工作流路由，使得模型中的库所和变迁能够分别表示引擎的动作和需执行的任务。基于传统的Petri网的工作流模型不适合描述工作流过程所代表的行为，因此提出了ST触发规则表达网模型的语义。

关键词: 工作流过程建模, 工作流模式, 扩展库所网, Petri网