Modeling and Verifying Non-DAG Workflows for Computational Grids | IEEE Conference Publication | IEEE Xplore