Full-Text Search:
Home|Journal Papers|About CNKI|User Service|FAQ|Contact Us|中文
《Journal of Beijing Institute of Technology》 2004-12
Add to Favorite Get Latest Update

Study on Soundness of Workflow Model Based on Petri Net

CHEN Xiang~1,\ XIA Guo-ping~2,\ LI Tao~2(1.School of Management and Economics, Beijing Institute of Technology, Beijing100081, China; 2.School of Economics and Management, Beijing University of Aeronautics and Astronatics, Beijing 100083, China)  
Due to the difficulty of constructing sound workflow model, this paper maps the workflow model defined by workflow management coalition (WFMC) to workflow net (WF-net). Based on the definition of two adjustment mappings proved not to destroy structure properties and system behaviors, this paper adjust the WF-net to a complete extended free choice net (EFC-net). Proved the equivalent deadlock properties of EFC-net and free choice net (FC-net), this paper introduces an algorithm to obtain minimum deadlock. Finally, combined with rank theorem, an algorithm is given to verify whether a WF-net is soundness.
【Fund】: 国家自然科学基金资助项目(79870005);; 香港RGC联合资助项目NSFC/RGC(7991061987)
【CateGory Index】: TP301.6
Download(CAJ format) Download(PDF format)
CAJViewer7.0 supports all the CNKI file formats; AdobeReader only supports the PDF format.
【References】
Chinese Journal Full-text Database 5 Hits
1 HOU Xiu-ping,SHAO Chun-ming,ZHENG Hong(School of Computer Science & Engineering,Changchun University of Technology,Changchun 130012,China);Analysis on soundness of workflow model based on workflow net[J];Journal of Changchun University of Technology(Natural Science Edition);2006-02
2 CHEN Xiang1,LIU Junli 2(1.School of Management and Economics,Beijing Institute of Technology,Beijing 100081;2.Department of Economics & Management,China Institute of Industrial Relations,Beijing 100037);Workflow Modeling Based on Colored Petri Net[J];Computer Engineering;2006-08
3 WANG Ke, XIONG Zhang(School of Computer, Beijing University of Aeronautics and Astronautics, Beijing 100083);Colored Synchronized-nets and Its Application in Workflow Process Modeling[J];Computer Engineering;2007-01
4 CHEN Xiang1,LIU Junli2(1.School of Management and Economics,Beijing Institute of Technology,Beijing 100081;2.Department of Economics & Management,China Institute of Industrial Relations,Beijing 100037);Application of ECA Rules in Workflow Management System[J];Computer Engineering;2007-13
5 LIANG Jun-feng ZHANG Zu-ping LONG Jun(School of Information Science and Engineering,Central South University,Changsha 410083,China);Model and Algorithms for Dynamic Workflow Mining[J];Computer Science;2011-01
【Citations】
Chinese Journal Full-text Database 2 Hits
1 CHEN Xiang(School of Economics and Management, Beijing Univ. of Aero. and Astro., Beijing100083, China);Performances Analysis of Workflows Based on Generalized Stochastic Petri Nets[J];Computer Integrated Manufacturing Systems;2003-05
2 CHEN Xiang~(1), XIA Guo-ping~(2)(1.Sch. of Management and Economics,Beijing Institute of Technology,Beijing100081,China;2.Sch. of Economics and Management, Beihang Univ., Beijing100083, China)Received 17 Apr. 2003; accepted 17 Sep. 2003.Foundation item:Project supported by the National Natural Science Foundation, China (No.79870005) and Hong Kong RGC Foundation,China(No.7991061987).;Workflow Modeling Based on Colored Petri Nets and its Soundness Analysis[J];Computer Integrated Manufacturing Systems;2004-04
【Co-citations】
Chinese Journal Full-text Database 10 Hits
1 PANG Shan-chen~(1,2),YAN Chun-gang~1,JIANG Chang-jun~(1,2)(1.Department of Computer Science and Engineering,Tongji University,Shanghai 200092,China;2.School of Information Science and Engineering,Shandong University of Science and Technology,Qingdao,Shandong 266510,China);Soundness Analysis of the Multi-cases Workflow Model Based on Home State[J];Acta Electronica Sinica;2006-06
2 ZHENG Yan-chong,FAN Yu-shun,ZHAO Yu(National Engineering Research Center for Computer Integrated Manufacturing Systems, Automation Department,Tsinghua University,Beijing 100084,China);Workflow Model Performance Analysis Based on Activity-Based Costing[J];Industrial Engineering and Management;2006-02
3 CHEN Xiang (School of Management and Economics, Beijing Institute of Technology, Beijing 100081, China);Program Evaluation and Review Technique Based on Petri Nets and Moment Generating Function[J];Transactions of Beijing Institute of Technology;2010-09
4 CHEN Xiang1,LIU Junli 2(1.School of Management and Economics,Beijing Institute of Technology,Beijing 100081;2.Department of Economics & Management,China Institute of Industrial Relations,Beijing 100037);Workflow Modeling Based on Colored Petri Net[J];Computer Engineering;2006-08
5 WANG Ke, XIONG Zhang(School of Computer, Beijing University of Aeronautics and Astronautics, Beijing 100083);Colored Synchronized-nets and Its Application in Workflow Process Modeling[J];Computer Engineering;2007-01
6 CHEN Xiang1,LIU Junli2(1.School of Management and Economics,Beijing Institute of Technology,Beijing 100081;2.Department of Economics & Management,China Institute of Industrial Relations,Beijing 100037);Application of ECA Rules in Workflow Management System[J];Computer Engineering;2007-13
7 FANG Jun(Department of Computers,ChangSha Social Work College,ChangSha 410004,China);Design of a RDBMS-Based Workflow Engine[J];Computing Technology and Automation;2005-03
8 ZENG Qing-tian~1,2 , DUAN Hua~1,3 (1. Coll. of Info. Sci. & Eng., Shandong Univ. of S&T, Taian 271019, China; 2. Inst. of Computing Tech., Chinese Academy of Sciences, Beijing 100080,China; 3. Dep. of Mathematics, Shaihai Jiaotong Univ., Shanghai 200030, China);Modeling and time mining for workflow involving time factors[J];Computer Integrated Manufacturing Systems;2005-06
9 ZHANG Liang,YAO Shu-zhen(Sch.of Computer,Beihang Univ.,Beijing 100083,China);New hierarchical workflow process model based on Petri nets[J];Computer Integrated Manufacturing Systems;2006-09
10 LIU Bo,FAN Yu-shun (National CIMS Engineering Research Center,Department of Automation,Tsinghua University,Beijing 100084,China);Service-oriented workflow performance evaluation and correlation analysis for key performance indicators[J];Computer Integrated Manufacturing Systems;2008-01
【Co-references】
Chinese Journal Full-text Database 10 Hits
1 WU Guo-dong~(1,2),WANG Shou-bing~3(1.Sch.of Comp.& Info.,HeFei University of Technology,HeFei 230036,China;2.Dept.of Comp.Sci.,AnHui Agricultural University,HeFei 230036,China;3.Sch.of Busi.(Fin.& Econ.),Suzhou University,Suzhou 215021,China);Automation system based on Web[J];Journal of Anhui University of Technology and Science;2005-03
2 WANG Ya-nan, WANG Ming-zhe (Department of Control Science & Engineering, Huazhong University of Science & Technology, Wuhan 430074, China);Application of Timed Colored Petri Nets in Modeling and Simulation[J];Ordnance Industry Automation;2005-01
3 FU Ling-li,NIE Cheng-qi (College of Computer Information Engineering,Jiangxi Normal University,Nanchang 330027,China);Research on Workflow Simulation Modeling Based on Petri Net[J];Journal of Jiangxi Normal University(Natural Sciences Edition);2006-01
4 CHEN Hong-na,ZU Xu,ZHOU Feng(School of Mechanical Engineering,Dalian University of Technology,Dalian 116023,China);On the Developing Situation,Research Content and Trend of Workflow Technology[J];Journal of Chongqing Institute of Technology;2006-02
5 Sun Jing 1, Qin Shiyin 1, Song Yonghua 2 (1. Beijing University of Aeronautics and Astronautics, Beijing 100083, China) (2. Brunel University, Uxbridge, Middlesex, UB8 3PH, UK);A FAULT DIAGNOSIS METHOD FOR POWER SYSTEMS BASED ON PETRI NETS AND PROBABILITY INFORMATION[J];Automation of Electric Power Systems;2003-13
6 Jiang Hao Dong Yisheng Luo Junzhou(Department of Computer Science and Engineering, Southeast University, Nanjing 210096);Research on Petri Net Based Modeling and Analyzing Methods for Workflow Process[J];东南大学学报(英文版);2000-02
7 XIE Jun,OUYANG Song(College of Information & Engineering,Central South University,Changsha,Hunan 410083,China);Study on rationality of WF-net workflow model[J];Computer and Information Technology;2006-01
8 YANG Guo-ming (Liaoning financial Vocational College,Shenyang 110122,China);Mobile Payment Business Model Analysis[J];Computer Knowledge and Technology;2006-20
9 Lai Xiao ping 1,Zhou Hong xing 2 (1.Shandong University at Weihai, Weihai 264209, China; 2.Shandong University, Jinan 250100, China);COLOURED PETRI-NET MODELS FOR TOPOLOGY ANALYSIS OF POWER NETWORKS[J];Power System Technology;2000-12
10 LV Jun-xia ZHANG Qian (Henan Polytechnic Institute,The Computer Engineering department,Nanyang 473009,China);ASP-based B/S Online Course Selection System Design and Implementation[J];Electronics & Packaging;2008-11
【Secondary References】
Chinese Journal Full-text Database 8 Hits
1 Zhang Lin-xia (Department of Computer Engineering,Guangdong Industry Technical College,Guangzhou 510300,China);A Distributed Workflow Model Based on ECA Rules[J];Journal of Guangdong Industry Technical College;2010-02
2 LI Hong-yan(Department of Software,Changchun College of Information Technology,Changchun 130012,China);Automation system based on workflow technique[J];Journal of Changchun University of Technology(Natural Science Edition);2008-03
3 CHEN Xiang School of Management and Economics,Beijing Institute of Technology,Beijing 100081,China;Research on application of colored workflow net based on Agent[J];Computer Engineering and Applications;2008-24
4 WANG Shu-yang(School of Computer Science & Engineering,Changchun University of Technology,Changchun 130012,China);Workflow management system based on SOA[J];Journal of Changchun University of Technology(Natural Science Edition);2009-04
5 ZHANG Fang-tian, WANG Kai-yi, SUI Jing, SUN Gui-chuan (National Engineering Research Center for Information Technology in Agriculture, Beijing100097, China);Application of colored Petri net in system modeling of a technological program management[J];Journal of Computer Applications;2009-S2
6 HUANG Li-mei,LI Jia-lin,LI Rui-ran(Information Center,Changchun City Land Resources Bureau,Changchun 130011,China);Application of sub-processes techniques in workflow design[J];Journal of Changchun University of Technology(Natural Science Edition);2010-01
7 ZHAO Shan1,MA Guang-si1,MAO Hong-yan2(1.School of Info.& Con.,Xi'an Univ.of Arch.& Tech.,Xi'an 710055,China;2.Software Engineering Institute,East China Normal University,Shanghai 200062,China);Modeling and Verification of Inventory Management Based on Layered Petri Net[J];Computer Technology and Development;2010-12
8 MIN Li-juan,LU Han-hua,WANG Ya-shi(Nanjing University of Posts and Telecommunications,Nanjing 210003,China);A Method Based on ECA Rules for Defining BPEL Exception Handling[J];Computer Technology and Development;2011-01
China Proceedings of conference Full-text Database 1 Hits
1 Fangtian Zhang~1,Kaiyi Wang~(1,2,*),Jin Sui~1,Chang Liu~1,Zhongqiang Liu~1 1 National Engineering Research Center for Information Technology in Agriculture,Beijing, China 100097 2 Beijing University of Technology,Beijing,China 100022;APPLICATION OF COLORED PETRI NET IN MODELING OF AN AGRICULTURAL ENTERPRISE INFORMATION MANAGEMENT SYSTEM[A];[C];2008
【Secondary Citations】
Chinese Journal Full-text Database 2 Hits
1 LI Jian qiang, FAN Yu shun (Department of Automation, Tsinghua University, Beijing 100084, China);PETRI NET BASED WORKFLOW MODEL PERFORMANCE ANALYSIS METHOD[J];Computer Applications;2001-06
2 GONG Shi hao\ YANG Ji jiang\ CHAI Yue ting\ LI Mei ying\ LI Fang yun (Automation Department, Tsinghua University, Beijing, 100084);BUSINESS PROCESS MODELING BASED ON COLORED PETRI NETS[J];INFORMATION AND CONTROL;2000-01
©2006 Tsinghua Tongfang Knowledge Network Technology Co., Ltd.(Beijing)(TTKN) All rights reserved