针对点 -时段时序逻辑的不足 ,提出了一种新的时段时序逻辑——扩展时段时序逻辑 ,对不确定时间段发生的事件具有较好的描述能力 .时间 Petri网模型表示的引入 ,增强了扩展时段时序逻辑的描述直观性及分析能力 ,为进行线性推理提供了有利的工具 .同时还提出了几种变迁间的实施推理规则 .运用这些规则可以简化复杂时序关系的 Petri网模型 ,并在线性时间复杂度内定量地得到各变迁间的时序逻辑关系 ,因而是一种行之有效的方法 Aiming at the shortcomings of point-time sequential logic, a new time series logic is proposed, namely extended time series logic, which has better description ability for events occurring in uncertain time period.The introduction of timed Petri net model representation enhances The intuition and analysis ability of extended time series logic provides an advantageous tool for linear reasoning, and also presents several implementation inference rules between the transitions.Using these rules can simplify the Petri net model of complex timing relationships, Sexual time complexity is a well-established method of quantitatively deriving temporal logic relationships among the transitions