中文摘要：

针对编队小卫星星间通信的要求，提出基于Petri网的分布式编队小卫星星间通信系统仿真平台。首先对编队小卫星星间通信系统进行TFDPN（T-Timed Discrete Petri Net，TTDPN）建模，并建立该模型与分布式仿真平台间的映射。根据该映射关系设计编队小卫星星间通信仿真平台的逻辑结构和数据流，搭建分布式编队小卫星星间通信系统仿真平台。联合空间环境、姿态和轨道等分系统，重点对星间通信系统中信道编译码模块和扩频解扩模块中的关键技术进行仿真验证。仿真结果表明：基于Petri网的分布式编队小卫星星间通信系统仿真平台能够显著缩短仿真时间，提高仿真精度和仿真结果的置信度，提高通信系统中模块的设计效率。

英文摘要：

For formation small satellite communication requirements, the distributed formation small satellites communication system simulation platform based on Petri net had been put forward. First of all, the formation small satellite communication systems modeling TFDPN （T-Timed Discrete Petri Net） was established. The map between the model and distributed simulation platform was established too. According to the mapping relationship, the logic structure and data flow of formation small satellite communication simulation platform were designed. The distributed formation of small satellite communication system simulation platform was built up. Union space environment, attitude and orbital sub-system, the key technologies of Channel codee module and Spread Spectrum module in the Satellite communication system were verified by simulation. The simulation results show： the distributed formation small satellites communication system simulation platform based on Petri net can significantly reduce the simulation time, improve simulation accuracy and the simulation result confideuce, and improve the communication system module design efficiency.