论文研究一种基于Petri网的工作流元模型研究.pdf

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