Computer Science ›› 2018, Vol. 45 ›› Issue (7): 307-314.doi: 10.11896/j.issn.1002-137X.2018.07.052

• Interdiscipline & Frontier • Previous Articles     Next Articles

Simplification and Verification of Matrix-based Workflow Logic Net Model

ZHENG Hong, DENG Wen-xuan, DENG Xiao, LU Xing-jian   

  1. School of Information Science and Engineering,East China University of Science and Technology,Shanghai 200237,China
  • Online:2018-07-30 Published:2018-07-30

Abstract: Petri net is used as an effective modeling tool when analyzing workflows,but it is easy to cause “state space explosion” problem when dealing with complex workflow.Workflow logic,as a logical framework for workflow paths,enables further abstraction of workflow networks.In order to verify the smoothness of the larger workflow,the Petro net is used to model the logic network corresponding to the workflow.On this basis,a matrix-based workflow logic algorithm was proposed,which provides a theoretical basis for automatic simplification of the large-scale workflow.At last,this algorithm was applied to the bank location to verify the smoothness of its workflow logic net,which reflects the effectiveness of the algorithm in solving the practical problem.

Key words: Bank location, Incidence matrix, Simplification, Workflow

CLC Number: 

  • TP391.4
[1]袁崇义.Petri网原理与应用[M].北京:电子工业出版社,2005:230-238.
[2]HUANG Y Y,LI K Q.Survey:Legitimacy Verification of Work-flow Based on Petri Nets[J].Application Research of Compu-ters,2013,30(1):26-29.(in Chinese)
黄瑜岳,李克清.基于Petri网的工作流合法性验证综述[J].计算机应用研究,2013,30(1):26-29.
[3]LIU L.Research on Workflow Modeling Method and its Application Based on Petri Networks[D].Hangzhou:Zhejiang Scien-ce and Technology University,2013.(in Chinese)
刘磊.基于Petri 网的工作流模型化方法及其应用研究[D].杭州:浙江理工大学,2013.
[4]GAO J,WU H R.Research of Matrix-based Workflow ModelRationality Validation Algorithm[J].Computer Engineering and Design,2010,31(11):2621-2624,2628.(in Chinese)
高捷,吴华瑞.基于矩阵模型的工作流合理性验证算法研究[J].计算机工程与设计,2010,31(11):2621-2624,2628.
[5]WANG P L,JIANG C J.Use of Rank of Incidence Matrix for Judgement Fairness of Petri Nets[J].Journal of Software,1994(12):24-29.(in Chinese)
王培良,蒋昌俊.利用关联矩阵的秩判断Petri网的公平性[J].软件学报,1994(12):24-29.
[6]LIAO J J,WANG M Z.Eigenvalues of Incidence Matrices Applied to the Analysis of Petri Net Structures[J].Journal of Applied Sciences,2010,28(4):417-423.(in Chinese)
廖晶静,王明哲.用关联矩阵特征值分析Petri网模型结构[J].应用科学学报,2010,28(4):417-423.
[7]MENG Y G,SONG W,YE J H.Reducing of Workflow Logic Net Based on Petri Nets by Using Matrix [J].Control & Automation,2006,22(21):49-51.(in Chinese)
孟永刚,宋文,叶剑虹.基于Petri网的工作流逻辑化简规则的矩阵表示[J].微计算机信息,2006,22(21):49-51.
[8]CHEN W,DA SILVA R F,DEELMAN E,et al.Balanced task clustering in scientific workflows[C]∥2013 IEEE 9th International Conference on eScience (eScience).IEEE,2013:188-195.
[9]CHEN X,ZHOU Y,YUE X B,et al.Research about New Technology for Petri Net’s Simplification [J].Computer Engineering and Applications,2012,48(5):47-50.(in Chinese)
陈曦,周彦,乐晓波,等.Petri网化简新技术研究[J].计算机工程与应用,2012,48(5):47-50.
[10]YUAN G,SUN R Z,XIANG Y,et al.Semantic Validation of Workflow Based Condition-restricted and its Application[J].Journal of Chinese Computer Systems,2013,34(9):2051-2055.(in Chinese)
袁钢,孙瑞志,向勇,等.基于条件约束的工作流语义验证方法及应用[J].小型微型计算机系统,2013,34(9):2051-2055.
[11]LI Y.Rationality Analysis of Enterprise Business Process Based on Simplification Rules and Process Evaluation [J].China CIO News,2014(4):16-17,19.(in Chinese)
李燕.基于化简规则与过程评价的企业业务过程合理性分析[J].信息系统工程,2014(4):16-17,19.
[12]BOUCHEKIR R,BOUKHEDOUMA S,BOUKALA M C.Symbolic probabilistic analysis and verification of inter-organizatio-nal workflow[C]∥2016 International Conference on Information Technology for Organizations Development (IT4OD).IEEE,2016:1-8.
[13]WANG S H,WEN L J,WEI D S,et al.SSDT Matrix-based Behavioral Similarity Algorithm for Process Models [J].Computer Integrated Manufacturing Systems,2013,19(8):1822-1831.(in Chinese)
汪抒浩,闻立杰,魏代森,等.基于任务最短跟随距离矩阵的流程模型行为相似性算法[J].计算机集成制造系统,2013,19(8):1822-1831.
[1] LIU Peng, LIU Bo, ZHOU Na-qin, PENG Xin-yi, LIN Wei-wei. Survey of Hybrid Cloud Workflow Scheduling [J]. Computer Science, 2022, 49(5): 235-243.
[2] LIN Chao-wei, LIN Bing, CHEN Xing. Study on Scientific Workflow Scheduling Based on Fuzzy Theory Under Edge Environment [J]. Computer Science, 2022, 49(2): 312-320.
[3] DOU Shuai, LI Zi-yang, ZHU Jia-jia, LI Xiao-hui, LI Xue-song, MI Lin, YANG Guang, LI Chuan-rong. Design and Implementation of Scientific Experiment Management System Based on jBPM [J]. Computer Science, 2021, 48(6A): 658-663.
[4] LIU Zhang-hui, ZHAO Xu, LIN Bing, CHEN Xing. Data Placement Strategy of Scientific Workflow Based on Fuzzy Theory in Hybrid Cloud [J]. Computer Science, 2021, 48(11): 199-207.
[5] MA Yu-yin, ZHENG Wan-bo, MA Yong, LIU Hang, XIA Yun-ni, GUO Kun-yin, CHEN Peng, LIU Cheng-wu. Multi-workflow Offloading Method Based on Deep Reinforcement Learning and ProbabilisticPerformance-awarein Edge Computing Environment [J]. Computer Science, 2021, 48(1): 40-48.
[6] ZHANG Long-xin, ZHOU Li-qian, WEN Hong, XIAO Man-sheng, DENG Xiao-jun. Energy Efficient Scheduling Algorithm of Workflows with Cost Constraint in Heterogeneous Cloud Computing Systems [J]. Computer Science, 2020, 47(8): 112-118.
[7] REN Shuai, WANG Meng, FAN Ao-xiong, GAO Ze, XU Jie, Shahzad KHURRAM, ZHANG Tao. Zero-high-resolution Information Hiding Algorithm for 3D Mesh Model [J]. Computer Science, 2020, 47(7): 328-334.
[8] QI Bao-lian, ZHONG Kun-hua and CHEN Yu-wen. Semi-supervised Surgical Video Workflow Recognition Based on Convolution Neural Network [J]. Computer Science, 2020, 47(6A): 172-175.
[9] SUN Min, CHEN Zhong-xiong, YE Qiao-nan. Workflow Scheduling Strategy Based on HEDSM Under Cloud Environment [J]. Computer Science, 2020, 47(6): 252-259.
[10] XU Jun, XIANG Qian-hong, XIAO Gang. Load Balancing Scheduling Optimization of Cloud Workflow Using Improved Shuffled Frog Leaping Algorithm [J]. Computer Science, 2019, 46(11): 315-322.
[11] DU Yan-ming, XIAO Jian-hua. Workflow Scheduling Strategy with Multi-QoS Constraint Based on Priority in Cloud Environment [J]. Computer Science, 2019, 46(10): 128-134.
[12] SONG Jun-hua, WEI Ou. Fault Tree Module Expansion Decomposition Method Based on Liner-time Algorithm [J]. Computer Science, 2019, 46(1): 226-231.
[13] XU Jian-rui, ZHU Hui-juan. Coevolutionary Genetic Algorithm of Cloud Workflow Scheduling Based on Adaptive Penalty Function [J]. Computer Science, 2018, 45(8): 105-112.
[14] HE Si-yuan, OU Bo, LIAO Xin. Role Matching Access Control Model for Distributed Workflow [J]. Computer Science, 2018, 45(7): 129-134.
[15] LI Ting-yuan, WANG Bo-yan. Workflow Energy-efficient Scheduling Algorithm in Cloud Environment with QoS Constraint [J]. Computer Science, 2018, 45(6A): 304-309.
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!