Confusion analysis and detection for workflow nets

DOI10.1155/2014/825313MaRDI QIDQ2321511zbMATH OpenOpenAlexWikidataFDO

Authors Xiao-liang Chen, Zhongyuan Jiang, Jianhong Ye

Publication date 23 August 2019

Published in Discrete Dynamics in Nature and Society (Search for Journal in Brave)

Copyright license Creative Commons Attribution 3.0 Unported

Full work available at URL https://doi.org/10.1155/2014/825313

Mathematics Subject Classification ID

Mathematical economics (91B99)

Review text

Summary: 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.

Recommendations

• Verification of workflow nets
• Soundness of workflow nets: classification, decidability, and analysis
• On Determining the AND-OR Hierarchy in Workflow Nets
• On generating hierarchical workflow nets and their extensions and verifying hierarchicality
• Aggregating causal runs into workflow nets
• Interacting workflow nets for workflow process re-engineering
• Verification of workflow task structures: A Petri-net-based approach
• Discovery, Verification and Conformance of Workflows with Cancellation

Cites work

• Capturing Conflict and Confusion in CSP
• Clusters, confusion and unfoldings
• Confusion diagnosis and control of discrete event systems using synchronized Petri nets
• Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems
• Discrete, Continuous, and Hybrid Petri Nets
• scientific article; zbMATH DE number 3982529 (Why is no real title available?)
• scientific article; zbMATH DE number 1302042 (Why is no real title available?)
• scientific article; zbMATH DE number 1515286 (Why is no real title available?)
• scientific article; zbMATH DE number 763717 (Why is no real title available?)
• Modeling and monitoring of E-commerce workflows
• On the border of causality: contact and confusion

Cited in

(4)

• Set-based access conflict analysis of concurrent workflow definition
• Confusion control in generalized Petri nets using synchronized events
• On Determining the AND-OR Hierarchy in Workflow Nets
• Confusion diagnosis and control of discrete event systems using synchronized Petri nets

This page was built for publication: Confusion analysis and detection for workflow nets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2321511)