Confusion analysis and detection for workflow nets
From MaRDI portal
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)
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)
