Modeling and Verifying Non-DAG Workflows for Computational Grids. - Sumit W. Sorde; Sanjeev K. Aggarwal; Jie Song 005; Melvin Koh; Simon See (IEEE SCW, 2007)