论文部分内容阅读
针对点－时段时序逻辑的不足，提出了一种新的时段时序逻辑－－扩展时段时序逻辑，对不确定时间段发生的事件具有较好的描述能力。时间Petri网模型表示的引入，增强了扩展时段时序逻辑的描述直观性及分析能力，为进行线性推理提供了有利的工具。同时还提出了几种变迁间的实施推理规则。运用这些规则可以简化复杂时序关系的Petri网模型，并在线性时间复杂度内定量地得到各变迁间的时序逻辑关系，因而是一种行这有效的方法。