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

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.