Using High-Level Petri Nets for Hierarchical Grid Workflows | IEEE Conference Publication | IEEE Xplore