离散事件系统任务处理瓶颈分析

BOTTLENECK ANALYSIS OF TASK PROCESSING IN DISCRETE EVENT SYSTEMS

Ｐｅｔｒｉ网是离散事件系统建模与分析的有效工具之一．本文介绍了随机Ｐｅｔｒｉ网瓶颈的概念，给出了一般随机Ｐｅｔｒｉ网最大处理能力的数学模型，研究了具有多路输入源之ＳＰＮ的瓶颈与处理能力分析的快速算法，讨论了在处理能力等价意义下将一类结构有决策且有环的ＳＰＮ变换成结构无决策且无环的ＳＰＮ的实现方法．最后给出了一个防空指挥控制系统信息处理瓶颈与处理能力分析的实例．

Petri net is one of the most powerful modeling and analytical tools for discrete event systems.The concept of bottleneck for stochastic Petri net (SPN) model is introduced.The mathematic model for the maximum processing capacity (MFC) of general SPNs is given.A fast algorithm for the analysis of the bottlenecks and MGF of SPNs with multi input sources is developed.An equivlant transformation approach by the use of which a class of SPNs which are structural choice and structural cycle is turned into those structural free choice and structural non cycle is proposed.An example shows the application of the method to the analysis of bottlenecks and MGF of a anti aircraft command and control system.