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

DOI10.1016/S0306-4379(00)00008-9zbMath0956.68521DBLPjournals/is/AalstH00OpenAlexW1976132482WikidataQ57006180 ScholiaQ57006180MaRDI QIDQ1567413

Wil 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)

Related Items (3)

A formal model for BPEL4WS description of Web service composition ⋮ Information flow analysis of scientific workflows ⋮ Inheritance of workflows: An approach to tackling problems related to change

This page was built for publication: Verification of workflow task structures: A Petri-net-based approach