Computing the Concurrency Threshold of Sound Free-Choice Workflow Nets.

Philipp J. Meyer Javier Esparza Hagen Völzer

Published in: TACAS (2) (2018)

Keyphrases

data flow
database systems
artificial intelligence
process model
concurrency control
temporal constraints
information systems
software systems
service composition
workflow management systems
workflow systems