计算机工程与应用 ›› 2008, Vol. 44 ›› Issue (24): 205-207.DOI: 10.3778/j.issn.1002-8331.2008.24.062

• 工程与应用 • 上一篇    下一篇

一种基于Petri网的工作流元模型研究

程念胜,张宜生,李德群   

  1. 华中科技大学 材料工程与计算机应用系,武汉 430074
  • 收稿日期:2008-03-27 修回日期:2008-05-30 出版日期:2008-08-21 发布日期:2008-08-21
  • 通讯作者: 程念胜

Research of Petri-net based workflow meta-model

CHENG Nian-sheng,ZHANG Yi-sheng,LI De-qun   

  1. Huazhong University of Science and Technology,Wuhan 430074,China
  • Received:2008-03-27 Revised:2008-05-30 Online:2008-08-21 Published:2008-08-21
  • Contact: CHENG Nian-sheng

摘要: Petri网是建立离散系统模型有力的数学工具。为了解决基本Petri网建模能力不足的问题,Aalst提出了有代表性的WF-Net模型。提出的HSC-PN工作流元模型,基于WF-Net扩展,增加了模型元素静态属性、数据流全局共享和增强的活动块等特性。详细阐述了HSC-PN元模型的DTD文件规范,分析了该模型对工作流模式的支持、触发机制及验证方式。通过可视化的建模工具,生成符合DTD文件规约的流程模板XML文件表示。HSC-PN元模型具有更丰富的元素描述信息,简化了流程模型,具有更强的建模能力。

关键词: Petri网, 工作流, 工作流元模型, 工作流定义工具

Abstract: Petri net is a strong mathematic tool for building discrete system.In order to resolve the problem of the inadequate capacity of basic Petri net,Aalst W M P proposed a so-called WF-Net model.On the basis of the WF-Net,HSC-PN workflow meta-model adds it with static attributes of model element,global sharing of data flow and enhanced action block.The DTD specification of HSC-PN is expounded in detail.The support of workflow patterns,firing mechanism and verification method are also analyzed.By means of the Visual Process Builder,the XML file of workflow model is generated according with DTD specification.HSC-PN has stronger modeling capability by possessing more abundant description information of the elements and simplifying the process model.

Key words: Petri net, workflow, workflow meta-model, workflow definition tool