Research of Petri-net based workflow meta-model

doi:10.3778/j.issn.1002-8331.2008.24.062

Computer Engineering and Applications ›› 2008, Vol. 44 ›› Issue (24): 205-207.DOI: 10.3778/j.issn.1002-8331.2008.24.062

• 工程与应用 • Previous Articles Next Articles

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

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

程念胜,张宜生,李德群

华中科技大学材料工程与计算机应用系，武汉 430074

通讯作者: 程念胜

Abstract

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

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

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.

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

[1]	NI Ming, QIAN Siyuan, YANG Shanlin. Simulation and Optimization of Recycling and Reusing Process of Wasted Smart Phones [J]. Computer Engineering and Applications, 2021, 57(5): 258-263.
[2]	ZHANG Chi, WANG Yuxin, FENG Zhen, GUO He. Energy-Efficient Task Scheduling Algorithm in Two-Layer Virtualized Cloud Architecture [J]. Computer Engineering and Applications, 2021, 57(3): 103-111.
[3]	TIAN Zhuojing, HUANG Zhenchun, ZHANG Yinong. Review of Task Scheduling Methods in Cloud Computing Environment [J]. Computer Engineering and Applications, 2021, 57(2): 1-11.
[4]	LU Wenxing, WANG Hupo, WANG Binyou. Research on Tourist Diversion in Scenic Spots Based on Timed Petri Net [J]. Computer Engineering and Applications, 2020, 56(8): 241-248.
[5]	GAO Weijun, ZHANG Chunxia, YANG Jie, SHI Yang. Research on Fault Tolerant Clustering Algorithm of Scientific Workflow Considering Load Balancing [J]. Computer Engineering and Applications, 2020, 56(23): 53-60.
[6]	FENG Fujian. Verification Analysis for Delay Time Petri Nets [J]. Computer Engineering and Applications, 2019, 55(4): 72-78.
[7]	DENG Liping1, DUAN Liguo2, YANG Lifeng2. Trust and Behavioral Method Based Web Services Selection [J]. Computer Engineering and Applications, 2019, 55(4): 112-118.
[8]	ZHAI Zhinian, WANG Zhongpeng, YE Lv, XIANG Jian, WANG Fuzhong, PANG Haiyun. Negative Condition of Static k Resiliency for Satisfiable（≠，=） Workflow [J]. Computer Engineering and Applications, 2019, 55(23): 35-39.
[9]	SONG Jian, FANG Xianwen, WANG Lili, LIU Xiangwei. Quasi Indirect Dependence Mining Method for Business Process Hide Transition [J]. Computer Engineering and Applications, 2019, 55(22): 265-270.
[10]	DONG Hao1, ZHANG Haiping2, LI Zhongjin1, LIU Hui1. Computation Offloading for Service Workflow in Mobile Edge Computing [J]. Computer Engineering and Applications, 2019, 55(2): 36-43.
[11]	LUO Ling. Reliability Checking About Embedded Airborne Software Based on Stochastic Petri Net [J]. Computer Engineering and Applications, 2019, 55(1): 233-240.
[12]	CAO Rui, FANG Xianwen, WANG Lili. Optimization analysis of process mining based on quasi indirect dependence [J]. Computer Engineering and Applications, 2018, 54(9): 37-41.
[13]	LI Haiyan1, WANG Yanping1, ZHOU Jianyong2, LIU Jiufu2. Design of deadlock supervisor of partially controllable Petri nets [J]. Computer Engineering and Applications, 2018, 54(8): 48-54.
[14]	WU Linjian, GOU Bingchen, WEN Chenguang. Research on knowledge-push driven by workflow and knowledge points [J]. Computer Engineering and Applications, 2018, 54(4): 231-236.
[15]	HE Zhaoyang, DU Yuyue, WANG Lu. Process mining algorithm for discovering special loop structures [J]. Computer Engineering and Applications, 2018, 54(22): 42-50.

Research of Petri-net based workflow meta-model

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

PDF

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 15

Recommended Articles

Metrics