scientific article; zbMATH DE number 2088769
From MaRDI portal
Publication:3045489
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
Title of this publication is not available (Why is that?)
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
Computing methodologies and applications (68U99) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cited In (12)
- Set-based access conflict analysis of concurrent workflow definition
- Diagnostic information for control-flow analysis of workflow graphs (a.k.a. free-choice workflow nets)
- Title not available (Why is that?)
- Application of if-conversion to verification and optimization of workflows
- An algorithm of automatic workflow optimization
- Soundness of workflow nets: classification, decidability, and analysis
- Numbering action vertices in workflow graphs
- Automated repair of process models using non-local constraints
- Diagnosing workflow processes using Woflan
- Fast termination and workflow nets
- Automated repair of process models with non-local constraints using state-based region theory
- A model validation method based on standardized workflow net
Uses Software
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)
