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

doi:10.3778/j.issn.1002-8331.2008.24.062

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

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

程念胜,张宜生,李德群

华中科技大学材料工程与计算机应用系，武汉 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

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

摘要/Abstract

摘要： 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

程念胜,张宜生,李德群. 一种基于Petri网的工作流元模型研究[J]. 计算机工程与应用, 2008, 44(24): 205-207.

CHENG Nian-sheng,ZHANG Yi-sheng,LI De-qun. Research of Petri-net based workflow meta-model[J]. Computer Engineering and Applications, 2008, 44(24): 205-207.

[1]	倪明，钱思源，杨善林. 废旧智能手机回收再利用业务流程仿真与优化[J]. 计算机工程与应用, 2021, 57(5): 258-263.
[2]	张驰，王宇新，冯振，郭禾. 双层虚拟化云架构下任务调度能耗优化算法[J]. 计算机工程与应用, 2021, 57(3): 103-111.
[3]	田倬璟，黄震春，张益农. 云计算环境任务调度方法研究综述[J]. 计算机工程与应用, 2021, 57(2): 1-11.
[4]	陆文星，王琥珀，王彬有. 基于赋时Petri网的景区游客分流研究[J]. 计算机工程与应用, 2020, 56(8): 241-248.
[5]	高玮军，张春霞，杨杰，师阳. 考虑负载平衡的科学工作流容错聚类算法研究[J]. 计算机工程与应用, 2020, 56(23): 53-60.
[6]	冯复剑. 延迟时间Petri网的验证分析[J]. 计算机工程与应用, 2019, 55(4): 72-78.
[7]	邓丽平1，段利国2，杨丽凤2. 面向行为的可信Web服务选择方法[J]. 计算机工程与应用, 2019, 55(4): 112-118.
[8]	翟治年，王中鹏，叶绿，向坚，王富忠，庞海云. 可满足（≠，=）工作流的静态k弹性否决条件[J]. 计算机工程与应用, 2019, 55(23): 35-39.
[9]	宋健，方贤文，王丽丽，刘祥伟. 业务流程隐变迁的拟间接依赖挖掘方法[J]. 计算机工程与应用, 2019, 55(22): 265-270.
[10]	董浩1，张海平2，李忠金1，刘辉1. 移动边缘计算环境下服务工作流的计算卸载[J]. 计算机工程与应用, 2019, 55(2): 36-43.
[11]	罗玲. 采用随机Petri网的嵌入式机载软件可靠性检测[J]. 计算机工程与应用, 2019, 55(1): 233-240.
[12]	曹蕊，方贤文，王丽丽. 基于拟间接依赖的流程挖掘优化分析[J]. 计算机工程与应用, 2018, 54(9): 37-41.
[13]	李海燕1，王艳萍1，周建勇2，刘久富2. 部分可控Petri网分布式死锁监控器设计[J]. 计算机工程与应用, 2018, 54(8): 48-54.
[14]	吴林健，苟秉宸，汶晨光. 基于工作流和知识点驱动的知识推送研究[J]. 计算机工程与应用, 2018, 54(4): 231-236.
[15]	贺朝阳，杜玉越，王路. 特殊循环结构的过程挖掘算法[J]. 计算机工程与应用, 2018, 54(22): 42-50.

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

Research of Petri-net based workflow meta-model

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics