Computer and Modernization ›› 2012, Vol. 203 ›› Issue (7): 226-229.doi:

• 应用与开发 • Previous Articles Next Articles

MAO Fu-qi¹, YANG Jian²

1.Deptment of Asset Management, North China University of Technology, Beijing 100144, China；2. College of Information Engineering, North China University of Technology, Beijing 100144, China

Received:2012-02-20 Revised:1900-01-01 Online:2012-08-10 Published:2012-08-10

Abstract

Abstract: A critical challenge for workflow management systems is their ability to respond effectively for changes in business processes. However, current workflow management systems can not suite to deal with frequent changes, because there are hardly any checks to assure some minimal level of correctness. This paper presents a method using PetriNetBased techniques which makes the workflow process model verification mechanism integrated into the graphical process design component. As well as the verification algorithm and process are described.


Key words: workflow, process verification, Petri net

CLC Number:

TP301.2

MAO Fu-qi;YANG Jian. [J]. Computer and Modernization, 2012, 203(7): 226-229.

[1]	XIAO Hang, LI Peng, MA Hui-ping, ZHU Feng, . RFID System Security Analysis Model Based on Stochastic Petri Net [J]. Computer and Modernization, 2023, 0(09): 105-114.
[2]	CAO Yu, LI Xiao-hui, LIU Zhong-lin, JIA He, FEI Zhi-wei. Review of Big Data Workflow Orchestration and Management System in Cloud Environment [J]. Computer and Modernization, 2022, 0(01): 41-53.
[3]	LI Qian-shi, WANG Shu-ying, ZENG Wen-qu. Research and Application of Flexible Workflow Path Change [J]. Computer and Modernization, 2021, 0(11): 44-49.
[4]	LI Hai-hao, WU Ya-feng, WANG Xiao-qiang. Application of Timed Petri Net in Penetration Testing [J]. Computer and Modernization, 2020, 0(10): 110-115.
[5]	GAO Qiang1, HU Qiang2. Determination of Structure Soundness for Service Processes Based on Petri Net [J]. Computer and Modernization, 2018, 0(10): 122-.
[6]	LI Kai, GUO Fu-liang, ZHOU Gang. Model Construction for Commanding Process in Ship  Damage Control Based on T-Petri Nets [J]. Computer and Modernization, 2017, 0(12): 103-107.
[7]	WANG Haitao, JIANG Houming, WANG Jun, CAO Haitao. Implementation of Mobile Workflow System Based on Activiti and DDPush [J]. Computer and Modernization, 2015, 0(12): 65-.
[8]	JI Hong-an, MA Ye, LI Xue-hong. Key Techniques of Multi-agent Workflow Model Based on Time Series [J]. Computer and Modernization, 2015, 0(10): 36-39+44.
[9]	HAN Hongyun, CHEN Yan, LI Taoying. Design and Implementation of Countersigned Function in Workflow System [J]. Computer and Modernization, 2014, 0(9): 86-89.
[10]	QI Fang-min. Petri Nets Node Refinement and Its Application [J]. Computer and Modernization, 2014, 0(7): 125-128+132.
[11]	SUN Dong-yu1, MA Deng-wu2, YAO Cheng-zhu3, ZHANG Yong-liang4. Optimization of Plane’s Overhaul Assembly Workflow Based on Genetic Algorithm [J]. Computer and Modernization, 2014, 0(3): 191-196.
[12]	DENG Bi-lin, WANG Yun-lan. An Improved Algorithm for Workflow Scheduling in Cloud Environment Based on Graph Cut [J]. Computer and Modernization, 2014, 0(2): 51-54.
[13]	MENG Ni;HAN Dan. Modeling and Analysis of Shift Process Based on CPNTool [J]. Computer and Modernization, 2013, 1(8): 111-115.
[14]	ZHOU Wen-qiong;WANG Le-qiu;ZHENG Shu-zhao. Design and Implemetation of Online Customs Agent Management System Based on Workflow [J]. Computer and Modernization, 2013, 1(8): 214-217,.
[15]	ZHANG Pingchong. Design and Implementation of Workflow Management System  Based on Microsoft Workflow Foundation [J]. Computer and Modernization, 2013, 1(6): 175-178.

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 15

Recommended Articles

Metrics

Comments