scientific article; zbMATH DE number 2088769

zbMATH Open1046.68975MaRDI QIDQ3045489FDOQ3045489

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

Publication date: 12 August 2004

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

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

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

Cited In (8)

• Set-based access conflict analysis of concurrent workflow definition
• Automated Repair of Process Models Using Non-local Constraints
• Title not available (Why is that?)
• Soundness of workflow nets: classification, decidability, and analysis
• Numbering action vertices in workflow graphs
• Automated Repair of Process Models with Non-local Constraints Using State-Based Region Theory
• Diagnosing workflow processes using Woflan
• Fast termination and workflow nets

Uses Software

• Woflan

   Recommendations

• Title not available (Why is that?) 👍 👎
• 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 👍 👎
• Title not available (Why is that?) 👍 👎

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)