【摘要】 在分析了铁通调度指挥系统(TDS)建模存在的问题后,本文提出了基于时间Petri网的铁通调度指挥系统工作流模型。在此模型中,用时间Petri网表示工作流模型,并分析了基本结构的时序关系。利用在线性时间复杂度内解决时间推理问题的线性推理规则,本文用时间Petri网建立了TDS停机停线的工作流模型。最后,对TDS停机停线的时间性能进行了分析。更多还原

【Abstract】 Analyzed the problem of Tietong Dispatching System(TDS),a workflow model based on timed Petri net for Tietong Dispatching System is proposed. In this model, Timed Petri Nets are used to model workflows and analyze the temporal relations of the basic structure. Using linear inference rules to solve the time inference problem within linear time complexity, a workflow model of Halting Device and Line of TDS was set up with Time Petri Net . Finally, the time performance of TDS workflow model is analyzed.更多还原