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

Extended Interval Temporal Logic for Undetermined Interval:Modeling and Linear Inference Using Time Petri Nets

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

A method for modeling imprecise temporal aspects of discrete-event systems, extended interval temporal logic,is proposed, which is an extension of the traditional point-interval temporal logic. Time Petri nets are used to model this new logic, which give an straightforward view of the logic and provide a powerful tool for analyzing complicated temporal relations. Based on time Petri nets, we put forward several linear firing rules among transitions. Using these rules and their combination, we can simplify the Petri net representation of complicated temporal relations, thus get the quantitative relations between time intervals and solve temporal logic problem within linear time complexity. So it is an effective method.