Diagnosing workflow processes using Woflan

DOI10.1093/COMJNL/44.4.246MaRDI QIDQ2765226zbMATH OpenOpenAlexWikidataFDO

Authors H. M. W. Verbeek, T. Basten, W. M. P. van der Aalst

Publication date 23 January 2002

Published in The Computer Journal. Section A Section B (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/a523b827d35a19b80ffe38e28af6e165e7fad165

zbMATH Keywords

workflow management

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1696472
• Verification of workflow task structures: A Petri-net-based approach
• scientific article; zbMATH DE number 2088769
• Verification of workflow nets
• scientific article; zbMATH DE number 2115942

Cited in

(14)

• Set-based access conflict analysis of concurrent workflow definition
• An analytical method for well-formed workflow/Petri net verification of classical soundness
• scientific article; zbMATH DE number 1696472 (Why is no real title available?)
• Reduction of workflow nets for generalised soundness verification
• Diagnosing process trajectories under partially known behavior
• Refinement of synchronizable places with multi-workflow nets. Weak termination preserved!
• scientific article; zbMATH DE number 2088769 (Why is no real title available?)
• A Framework for Linking and Pricing No-Cure-No-Pay Services
• Verification problems in conceptual workflow specifications
• Soundness of workflow nets: classification, decidability, and analysis
• Inheritance of workflows: An approach to tackling problems related to change
• Verifying Generalised and Structural Soundness of Workflow Nets via Relaxations
• Connectivity of workflow nets: The foundations of stepwise verification
• Preserving correctness during business process model configuration

Describes a project that uses

Uses Software

• Woflan

This page was built for publication: Diagnosing workflow processes using Woflan

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