Hierarchical Reachability Analysis for Workflow-Nets.

Yongsun Choi Xinlei Zhao Kwanhee Han

Published in: CSCWD (2006)

Keyphrases

reachability analysis
markov decision processes
model checking
timed automata
incremental algorithms
state space
data mining
business processes
business process
hierarchical structure
temporal logic
knowledge base
video sequences
control flow
workflow systems