For the most recent entries see the Petri Nets Newsletter.

On temporal logic programming using Petri nets.

Zaidi, A.K.

In: IEEE Trans. on Systems, Man, and Cybernetics; Part A: Systems and Humans, Vol. 29, No. 3, pages 245-254. 1999.

Abstract: A methodology for modeling temporal (time-sensitive) aspects of discrete-event systems is presented. A formalism of temporal logic which incorporates both point and interval descriptions of time is formulated, which is an extension of Allen's interval logic. A formal axiomatic system of this point-interval logic is presented. A graph model is shown to implement the axiomatic system of point-interval logic. This graph-based approach transforms the system's specification given by temporal statements into a graph structure. The graph-based temporal inference engine (TIE) identifies temporal ambiguities and errors (if present) in the system's specifications, infers new temporal relations among system's intervals, and identifies the user-defined intervals of interest.

Keywords: Petri nets, interval logics, logic programming, temporal logics.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography