基于可执行规格说明的维修机构建模与仿真

为分析维修机构的性能,采用基于赋时有色Petri网的可执行规格说明语言建立了维修机构模型。模型采用自顶而下逐层分解细化、组件重用和基于状态的Petri网建模方法,对维修机构进行维修资源分析,并对动态组成维修小组和维修过程的系统状态变化过程进行了详细描述,准确反映了维修机构的维修等待和资源竞争现象,同时将定量关系嵌入到描述模型中。通过模型执行,以动画显示系统状态的变化,分析系统性能。最后给出了一个建模与仿真实例。实例表明,基于可执行规格说明建模和仿真方法是研究维修机构运行的有效工具。

Modeling and simulation of maintenance organizations based on executable specifications

To analyze the performance of maintenance organization,a model is constituted using executable specification tools-ExSpect based on the timed colored Petri Net.With top down hierarchy decomposition,component technique and the modeling method of the petrinet.the system state transformation is described in detail which reflects the resource analysis,the dynamic composition of maintain group and maintenance process.The queuing and resource competition phenomena are exactly reflected and is embedded in the quantitative model.The model is executed and the states change is displayed in the animated window and the system performance is analyzed.At last,a modeling and simulating instance is studied.The result indicates that the executable specification is a powerful tool to study the maintenance organization.