Sign in
Verifying Workflows with Cancellation Regions and OR-Joins: An Approach Based on Reset Nets and Reachability Analysis.
Moe Thandar Wynn
Wil M. P. van der Aalst
Arthur H. M. ter Hofstede
David Edmond
Published in:
Business Process Management (2006)
Keyphrases
</>
reachability analysis
model checking
markov decision processes
timed automata
temporal logic
incremental algorithms
query optimization
web services
state space
image regions
artificial intelligence
video sequences
business processes
decision problems