谓词Petri网在防空C3I专家决策系统中的应用

军事专家系统是防空C^3I辅助决策系统中的重要组成部份，它利用人类专家的知识和解决问题的方法来解决该领域的问题，其实质是一个复杂的逻辑推理过程。如何描述其推理过程是设计专家系统首先必须解决的一个问题。因此，本文提出采用Petri网工具来描述防空C^3I军事专家决策系统的推理过程，大大地提高了决策的准确性，这也为描述专家系统提供了一种图示表示工具，可大大地提高系统的研发过程。

Application of predicate Petri net in air-defense C3I expert decision system

Military expert system is one of the most important parts of air-defence C^3I aided decision-making system. The knowledge of the human being experts and their methods are used for solving the problems in military fields, which is essentially a complex logic reasoning process, ttow to describe the reasoning process is of vital importance to the expert system design. In this paper, the authors used Petri net as a tool for describing the reasoning process of air-defence C^3I military expert decision-making system, which can improve the veracity greatly. This can also used for describing the expert system, which can speed up the development of the whole system.