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

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