Diagnosing Workflow Processes using Woflan

DOI10.1093/comjnl/44.4.246zbMath0993.68141OpenAlexW2127300475WikidataQ57006147 ScholiaQ57006147MaRDI QIDQ2765226

Wil M. P. van der Aalst, H. M. W. Verbeek, Twan Basten

Publication date: 23 January 2002

Published in: The Computer Journal (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)

Related Items (8)

Reduction of Workflow Nets for Generalised Soundness Verification ⋮ Refinement of Synchronizable Places with Multi-workflow Nets ⋮ Soundness of workflow nets: classification, decidability, and analysis ⋮ Preserving correctness during business process model configuration ⋮ An analytical method for well-formed workflow/Petri net verification of classical soundness ⋮ Inheritance of workflows: An approach to tackling problems related to change ⋮ A Framework for Linking and Pricing No-Cure-No-Pay Services ⋮ Connectivity of workflow nets: The foundations of stepwise verification

Uses Software

• Woflan

This page was built for publication: Diagnosing Workflow Processes using Woflan