scientific article; zbMATH DE number 2088769

zbMATH Open1046.68975MaRDI QIDQ3045489FDOQ3045489

Authors W. M. P. van der Aalst, A. Hirnschall, H. M. W. Verbeek

Publication date 12 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2348/23480535.htm

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2115942
• Soundness of workflow nets: classification, decidability, and analysis
• Diagnostic information for control-flow analysis of workflow graphs (a.k.a. free-choice workflow nets)
• Diagnosing workflow processes using Woflan
• scientific article; zbMATH DE number 1696472

Cited in

(12)

• scientific article; zbMATH DE number 1696472 (Why is no real title available?)
• Numbering action vertices in workflow graphs
• Automated repair of process models using non-local constraints
• A model validation method based on standardized workflow net
• Soundness of workflow nets: classification, decidability, and analysis
• Diagnosing workflow processes using Woflan
• Diagnostic information for control-flow analysis of workflow graphs (a.k.a. free-choice workflow nets)
• Fast termination and workflow nets
• Automated repair of process models with non-local constraints using state-based region theory
• Application of if-conversion to verification and optimization of workflows
• An algorithm of automatic workflow optimization
• Set-based access conflict analysis of concurrent workflow definition

Describes a project that uses

Uses Software

• Woflan

This page was built for publication:

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