一种不确定时段的扩展时段时序逻辑:时间Petri网模型表示和线性推理

摘要

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