Research on Workflow Model and Verification Method of Remote Sensing Data Processing

To reduce the uncertainty factors in the remote sensing data processing process and the complexity of remote sensing data processing software, a remote sensing data processing workflow model is presented based on Petri net and UniNet theory. The model can not only describe the data, tasks and their logical relationships involved in remote sensing data processing workflow formally, but also analyze the logic of the process dynamically. Furthermore, the model can be effectively combined with workflow technology, which provide great help for solving remote sensing application needs.