基于Petri网多通道火控系统的建模与分析

多通道火控系统是一个实时多任务系统,具有实时、并发、异步、分布、不确定性等特点。Petri网是描述异步并发现象的一种有效工具。文章以Petri网为工具建立某多通道火控系统的模型,对其结构性能、功能、任务忙闲程度、死锁进行了定性分析,并给出从模型到程序自动转换方法,可有效分析与评价多通道火控系统。

Modeling and Analysis of Multi-Channel Fire Control System Based on Petrinet

The multi-channel fire control system is a real-time multitask data processing system,its feature is real-time,parallel processing,asynchronous ,distribute,uncertainty and multitask. Petrinet is the powerful tool to describe the appearance of asynchronous and parallel. Using Petrinet,the structure performance,the tasks＇ busy degree,dead lock qualitatively were analyzed. Then the conversion between Petrinet model and program structure was implemented. The multi-channel fire control system is effective analyzed and evaluated for Petrinet.