Modeling of Satellite Military Systems Based on Colored Petri Net
Xuefeng Xu · Jisuanji fangzhen · 2007
Satellite military systems belong to a complex military information system,which has characteristics such as synchronization,concurrency and conflicts. It is suitable for characteristics of satellite military systems to model these systems with Colored Petri net and it can effectively analyze static structure and dynamic behavior. Firstly,introduce the basic concepts of colored Petri net;then analyze operational process of satellite military systems,based on which,make the colored Petri net models,at last analyze the performance of the models.