Research on the CPN modeling strategy for the ship-board C4ISR system

Aims at the problems of modeling and analyzing difficultly for the ship-board C
⁴
ISR systems, the functions and structures of the systems are analyzed, the modeling expression scheme using Petri nets is put forward, the functions characteristics of the systems are discussed, the suitable modeling approaches for the functions of the systems are introduced, that the modeling means based on Petri nets is a sort of the effectively modeling means for the functions of the ship-board C
⁴
ISR systems is pointed, the Petri nets models of the functions of the ship-board C
⁴
ISR systems are constructed, and the common way and approach of constructing the Petri nets models are expounded. Lastly, takes example for warship air defense missile C
⁴
ISR decision system, the library/transition systems, from decision-making organizations at department and firepower cells levels, are described, the Coloured Petri nets (CPN) model of the decision system is established, the correctness and timeliness of the decision system are discussed. The way to improve effectively the validity and timeliness of the decision system is preliminarily proved.