In order to solve the model problem of satellite on-orbit test process, take navigation satellite on-orbit test as example, use workflow-net to establish satellite on-orbit test process model. Describe satellite on-orbit test process and logic relation, and adopt coverability tree algorithm to analyze and validate model. The analysis result shows that the model not only describes the action and logic relation of in on-orbit test formally, but also dynamically analyzes the logistic of on-orbit test process. The method of workflow-net is suitable to the process model of on-orbit test.