Verification of workflow task structures: A Petri-net-based approach
DOI10.1016/S0306-4379(00)00008-9zbMATH Open0956.68521DBLPjournals/is/AalstH00OpenAlexW1976132482WikidataQ57006180 ScholiaQ57006180MaRDI QIDQ1567413FDOQ1567413
Authors: W. M. P. van der Aalst, Arthur H. M. ter Hofstede 
Publication date: 5 June 2000
Published in: Information Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0306-4379(00)00008-9
Recommendations
Computing methodologies and applications (68U99) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cited In (16)
- A formal model for BPEL4WS description of Web service composition
- Verification of workflow nets
- Information flow analysis of scientific workflows
- Title not available (Why is that?)
- Automated Technology for Verification and Analysis
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Application of if-conversion to verification and optimization of workflows
- Using pre-estimate with feedback for adaptation Web server QoS guarantee
- Diagnosing workflow processes using Woflan
- Inheritance of workflows: An approach to tackling problems related to change
- Advances in quantitative analysis of free-choice workflow Petri nets (invited talk)
- Title not available (Why is that?)
- Constraint Solving for Verifying Modal Specifications of Workflow Nets with Data
- Confusion analysis and detection for workflow nets
This page was built for publication: Verification of workflow task structures: A Petri-net-based approach
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1567413)
