论文部分内容阅读
在分析了铁通调度指挥系统（TDS）建模存在的问题后，本文提出了基于时间Petri网的铁通调度指挥系统工作流模型。在此模型中，用时间Petri网表示工作流模型，并分析了基本结构的时序关系。利用在线性时间复杂度内解决时间推理问题的线性推理规则，本文用时间Petri网建立了TDS停机停线的工作流模型。最后，对TDS停机停线的时间性能进行了分析。