| Applying Petri-Net-Based Reduction Approach for Verifying the Correctness of Workflow Models |
| |
| 作者姓名： | LI Xi-zuo HAN Gui-ying KIM Sun-ho |
| |
| 作者单位： | [1]School of Computer Science and Engineering, Dalian Nationalities University, Dalian 116600, Liaoning, China [2]School of Electromechanical Engineering, Dalian Nationalities University, Dalian 116600, Liaoning, China [3]Department of Industrial and Systems Engineering, Myongji University San 38-2, Namdong, Yonginsi, Kyunggido 449 728,Korea |
| |
| 基金项目： | Supported by the Scientific Research Foundation of Education Agency of Liaoning Province （20040088） and Scientific Research Foundation of Dalian Nationalities University （20046202） |
| |
| 摘 要： | 0 IntroductionTobadaseyd’s o nintfhoer mflaotiwonof s ywsotrekmss t hhraovueg hbe tehne doervgealnoipzead-tion rather than based ontasks .Duetothistrend,work-flowand business process technology has been applied tovarious applications such as ERP, groupwares , E-mar-ketplaces , E-business etc . When business processes areapplied to these applications ,business processes are de-fined by process designers and business process instancesare executed by workflowengines or workflow manage-ment sys…
|
| 关 键 词： | 工作流分析 Petri网 简化规则 正确性检验 信息系统 |
| 文章编号： | 1007-1202（2006）01-0203-08 |
| 收稿时间： | 2005-04-04 |
Applying Petri-net-based reduction approach for verifying the correctness of workflow models |
| |
| LI Xi-zuo HAN Gui-ying KIM Sun-ho.Applying Petri-Net-Based Reduction Approach for Verifying the Correctness of Workflow Models[J].Wuhan University Journal of Natural Sciences,2006,11(1):203-210. |
| |
| Authors: | Li Xi-zuo Han Gui-ying Kim Sun-ho |
| |
| Institution: | (1) School of Computer Science and Engineering, Dalian Nationalities University, 116600 Dalian, Liaoning, China;(2) School of Electromechanical Engineering, Dalian Nationalities University, 116600 Dalian, Liaoning, China;(3) Department of Industrial and Systems Engineering, Myongji University San 38-2, Namdong, Yonginsi, 449-728 Kyunggido, Korea |
| |
| Abstract: | The correctness of workflow models is one of the major challenges in context of workflow analysis. The aim of this paper is to provide an improved Petri net-based reduction approach for verifying the correctness of workflow models. To the end, how to represent well-behaved building blocks and control structures of business processes by Petri nets is given at first, and then how to build well-structured process nets is presented. According to the structural characteristics of well-structured process nets, a set of legacy reduction rules are improved and extended, and then a complete Petri-net-based verification approach is proposed. The sound ness and the complexity with polynomial time for the improved re duction method are also proven. |
| |
| Keywords: | workflow analysis well-structured process nets Petri nets reduction rules |
| 本文献已被 CNKI 维普 万方数据 SpringerLink 等数据库收录！ |
