# Modeling and Performance Analysis of Satellite Network Moving Target Defense System with Petri Nets
## 7 Conclusions
* _[PERSON] et al. (2012)_ [PERSON]; [PERSON]; [PERSON]; [PERSON] Creating a Cyber Moving Target for Critical Infrastructure Applications using platform diversity. _Int. J. Crit. Infrastruct. Prot._**2012**, \(5\), 30-39. * [PERSON] et al. (2020) [PERSON]; [PERSON]; [PERSON]; [PERSON] Research on Security situation Awareness Technology of Broadband Satellite Network. In _Seminar on \"Network Security Technology and Application Innovation\" in 2020_; Netinfo Security: Shanghai, China, 2020; pp. 98-101. * _[PERSON] et al. (2010)_ [PERSON]; [PERSON]; [PERSON] Supporting techniques of proactive self-defense for cyberspace war with integrated space-ground network system. _Guizlou Sci._**2010**, _29_, 59-62. * _[PERSON] et al. (2017)_ [PERSON]; [PERSON]; [PERSON] An improved malicious code intrusion detection method based on target tree for space information network. _Int. J. Distrib. Sens. Netw._**2017**, _13_, 1-10. [CrossRef]
* _[PERSON] et al. (2017)_ [PERSON]; [PERSON]; [PERSON] [PERSON] New thoughts on security technologies for space-ground integration information network. _Telecommun. Sci._**2017**, _33_, 24-35. * _[PERSON] et al. (2020)_ [PERSON]; [PERSON] [PERSON] A Petri-net-based communication-aware modeling for performance evaluation of NOC application mapping. _J. Supercomput._**2020**, _76_, 9246-9269. [CrossRef]
* [PERSON] et al. (2020) [PERSON]; [PERSON]; [PERSON] [PERSON]; [PERSON]; [PERSON] Modeling and simulation of the IEEE 802.11e wireless protocol with hidden nodes using Colored Petri Nets. _Softw. Syst. Model._**2020**. [CrossRef]
* [PERSON] and [PERSON] (2018) [PERSON]; [PERSON]; [PERSON] Performance analysis of honeypot with petri nets. _Information_**2018**, \(9\), 245. [CrossRef]
* [PERSON] and [PERSON] (2020) [PERSON]; [PERSON] Modeling and Performance Analysis of Cognitive Radio Networks Using Stochastic Timed Colored Petri Nets. _Wirel. Pers. Commun._**2020**, _112_, 1659-1687. [CrossRef]
* _[PERSON] et al. (2018)_ [PERSON]; [PERSON] Modeling and Robustness Study of Railway Transport Networks Using P-Timed Petri Nets. _J. Eng._**2018**, _2018_, 1-12. [CrossRef]
* _[PERSON] et al. (2020)_ [PERSON]; [PERSON]; [PERSON]; [PERSON]; [PERSON] Modeling and Validating a Secure Interconnection between Industrial Control System and Corporate Network using Colored Petri Net. _Colloq. Exacturm_**2020**, _12_, 45-61. [CrossRef]
* _[PERSON] et al. (2015)_ [PERSON]; [PERSON]; [PERSON]; [PERSON] A formal model of satellite communication system network control protocol based on generalized stochastic Petri nets. In Proceedings of the 2015 IEEE International Conference on Computer and Communications (ICCC), Chengdu, China, 10-11 October 2015; pp. 340-346. * _[PERSON] et al. (2016)_ [PERSON]; [PERSON]; [PERSON]; [PERSON] A dynamic conformance checking method based on petri nets for satellite communication system network control protocol. In Proceedings of the International Conference on Wireless Communications, Yangzhou, China, 13-15 October 2016. * _[PERSON] et al. (2019)_ [PERSON]; [PERSON]; [PERSON]; [PERSON] Analyzing Space Debris Flux and Predicting Satellites Collision Probability in LEO Orbits Based on Petri Nets. _IEEE Access_**2019**, \(7\), 83461-83473. [CrossRef]
* _[PERSON] et al. (2018)_ [PERSON]; [PERSON]; [PERSON]; [PERSON] Research on the Availability Analysis Method of Navigation Satellite Based on Petri Nets. In _China Satellite Navigation Conference (CSNC) 2018 Proceedings_; Springer: Singapore, 2018; pp. 127-136. * _[PERSON] et al. (2016)_ [PERSON]; [PERSON]; [PERSON]; [PERSON]; [PERSON] Reliability Evaluation of Space Information Network Based on Petri Net Jump Surface Nodes. _Control Eng. China_**2016**, _23_, 66-72. * _[PERSON] et al. (1996)_ [PERSON]; [PERSON] Modeling and simulation of a satellite constellation based on Petri nets. In Proceedings of the IEEE 1996 Annual Reliability and Maintainability Symposium, Las Vegas, NV, USA, 22-25 January 1996; pp. 66-72. * _[PERSON] et al.