Verification of workflow task structures: A Petri-net-based approach

DOI10.1016/S0306-4379(00)00008-9MaRDI QIDQ1567413zbMATH OpenOpenAlexDBLPWikidataFDO

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

zbMATH Keywords

workflow management systems

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
• Verification of workflow nets
• Using pre-estimate with feedback for adaptation Web server QoS guarantee
• scientific article; zbMATH DE number 2202204
• scientific article; zbMATH DE number 2204026

Cited in

(16)

• Verification of workflow nets
• scientific article; zbMATH DE number 1696472 (Why is no real title available?)
• Using pre-estimate with feedback for adaptation Web server QoS guarantee
• scientific article; zbMATH DE number 2115942 (Why is no real title available?)
• scientific article; zbMATH DE number 2202204 (Why is no real title available?)
• Automated Technology for Verification and Analysis
• Confusion analysis and detection for workflow nets
• Advances in quantitative analysis of free-choice workflow Petri nets (invited talk)
• scientific article; zbMATH DE number 1445908 (Why is no real title available?)
• Diagnosing workflow processes using Woflan
• Information flow analysis of scientific workflows
• Inheritance of workflows: An approach to tackling problems related to change
• Constraint Solving for Verifying Modal Specifications of Workflow Nets with Data
• Application of if-conversion to verification and optimization of workflows
• scientific article; zbMATH DE number 2204026 (Why is no real title available?)
• A formal model for BPEL4WS description of Web service composition

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)