Modeling of Finite Automata Based on DAG structure for Grid Workflow Composition System of Remote Sensing Quantitative Retrieval | IEEE Conference Publication | IEEE Xplore