A new type of extended Petri net model - Timing Constraint Colored Petri Net is advanced and studied. Then the service types, resource types and performances, and the facility scheduling policies are analyzed within the multi-satellites-ground station system. Based on this, the system model is established, which provides ways and means for the optimization of facility development scheme and for the dynamic performance analyzing of the whole satellite-ground system.