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