Confusion Analysis and Detection for Workflow Nets
Option processes often occur in a business procedure with respect to resource competition. In a business procedure modeled with a workflow net (WF-net), all decision behavior and option operations for business tasks are modeled and performed by the conflicts in corresponding WF-net. Concurrency in W...
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Wiley
2014-01-01
|
| Series: | Discrete Dynamics in Nature and Society |
| Online Access: | http://dx.doi.org/10.1155/2014/825313 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1832549885996433408 |
|---|---|
| author | Xiao-liang Chen Zhong-yuan Jiang Jian-hong Ye |
| author_facet | Xiao-liang Chen Zhong-yuan Jiang Jian-hong Ye |
| author_sort | Xiao-liang Chen |
| collection | DOAJ |
| description | Option processes often occur in a business procedure with respect to resource competition. In a business procedure modeled with a workflow net (WF-net), all decision behavior and option operations for business tasks are modeled and performed by the conflicts in corresponding WF-net. Concurrency in WF-nets is applied to keep a high-performance operation of business procedures. However, the firing of concurrent transitions in a WF-net may lead to the disappearance of conflicts in the WF-net. The phenomenon is usually called confusions that produces difficulties for the resolution of conflicts. This paper investigates confusion detection problems in WF-nets. First, confusions are formalized as a class of marked subnets with special conflicting and concurrent features. Second, a detection approach based on the characteristics of confusion subnets and the integer linear programming (ILP) is developed, which is not required to compute the reachability graph of a WF-net. Examples of the confusion detection in WF-nets are presented. Finally, the impact of confusions on the properties of WF-nets is specified. |
| format | Article |
| id | doaj-art-c7b4cd4dc63d46c0b79efbe0d3ffed17 |
| institution | Kabale University |
| issn | 1026-0226 1607-887X |
| language | English |
| publishDate | 2014-01-01 |
| publisher | Wiley |
| record_format | Article |
| series | Discrete Dynamics in Nature and Society |
| spelling | doaj-art-c7b4cd4dc63d46c0b79efbe0d3ffed172025-02-03T06:08:23ZengWileyDiscrete Dynamics in Nature and Society1026-02261607-887X2014-01-01201410.1155/2014/825313825313Confusion Analysis and Detection for Workflow NetsXiao-liang Chen0Zhong-yuan Jiang1Jian-hong Ye2School of Electro-Mechanical Engineering, Xidian University, Xi’an 710071, ChinaSchool of Electro-Mechanical Engineering, Xidian University, Xi’an 710071, ChinaSchool of Electro-Mechanical Engineering, Xidian University, Xi’an 710071, ChinaOption processes often occur in a business procedure with respect to resource competition. In a business procedure modeled with a workflow net (WF-net), all decision behavior and option operations for business tasks are modeled and performed by the conflicts in corresponding WF-net. Concurrency in WF-nets is applied to keep a high-performance operation of business procedures. However, the firing of concurrent transitions in a WF-net may lead to the disappearance of conflicts in the WF-net. The phenomenon is usually called confusions that produces difficulties for the resolution of conflicts. This paper investigates confusion detection problems in WF-nets. First, confusions are formalized as a class of marked subnets with special conflicting and concurrent features. Second, a detection approach based on the characteristics of confusion subnets and the integer linear programming (ILP) is developed, which is not required to compute the reachability graph of a WF-net. Examples of the confusion detection in WF-nets are presented. Finally, the impact of confusions on the properties of WF-nets is specified.http://dx.doi.org/10.1155/2014/825313 |
| spellingShingle | Xiao-liang Chen Zhong-yuan Jiang Jian-hong Ye Confusion Analysis and Detection for Workflow Nets Discrete Dynamics in Nature and Society |
| title | Confusion Analysis and Detection for Workflow Nets |
| title_full | Confusion Analysis and Detection for Workflow Nets |
| title_fullStr | Confusion Analysis and Detection for Workflow Nets |
| title_full_unstemmed | Confusion Analysis and Detection for Workflow Nets |
| title_short | Confusion Analysis and Detection for Workflow Nets |
| title_sort | confusion analysis and detection for workflow nets |
| url | http://dx.doi.org/10.1155/2014/825313 |
| work_keys_str_mv | AT xiaoliangchen confusionanalysisanddetectionforworkflownets AT zhongyuanjiang confusionanalysisanddetectionforworkflownets AT jianhongye confusionanalysisanddetectionforworkflownets |