Hierarchical Reachability Analysis for Workflow-Nets.

Yongsun Choi, Xinlei Zhao, Kwanhee Han

Browse the full CSCWD paper archive.