Yongsun Choi, Xinlei Zhao, Kwanhee Han. Hierarchical Reachability Analysis for Workflow-Nets. In Proceedings of the 10th International Conference on CSCW in Design, CSCWD 2006, May 3-5, 2006, Southeast University, Nanjing, China. pages 556-561, IEEE, 2006. [doi]
Abstract is missing.