On temporal logic programming using Petri nets

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 Alien'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 specifications given by temporal statements into a graph structure. The graph-based temporal inference engine 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.

[1]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[2]  Antony Galton,et al.  Temporal logics and their applications , 1987 .

[3]  L. Fariñas-del-Cerro,et al.  Resolution modal logics , 1989 .

[4]  James Lyle Peterson,et al.  Petri net theory and the modeling of systems , 1981 .

[5]  James F. Allen.  Towards a General Theory of Action and Time , 1984, Artif. Intell..

[6]  Herve P Hillion.  Performance evaluation of decisionmaking organizations using Timed Petri Nets , 1986 .

[7]  Willard Van Orman Quine.  Elementary Logic: Revised Edition , 1980 .

[8]  Fred Kröger,et al.  Temporal Logic of Programs , 1987, EATCS Monographs on Theoretical Computer Science.

[9]  John Niemeyer Findlay,et al.  Time: A treatment of some puzzles , 1941 .

[10]  Antony Galton.  Logic - for information technology , 1990 .

[11]  Wolfgang Reisig,et al.  Petri Nets , 1985, EATCS Monographs on Theoretical Computer Science.

[12]  Willard Van Orman Quine,et al.  Elementary Logic , 1965 .

[13]  Robert S. Boyer,et al.  The Correctness Problem in Computer Science , 1982 .

[14]  Alasdair Urquhart,et al.  Temporal Logic , 1971 .

[15]  Bertram C. Bruce.  A Model for Temporal References and Its Application in a Question Answering Program , 1972, Artif. Intell..

[16]  Y. Yao,et al.  A Petri Net Model for Temporal Knowledge Representation and Reasoning , 1994, IEEE Trans. Syst. Man Cybern. Syst..

[17]  W. H. Newton-Smith,et al.  The Structure of Time , 2018 .

[18]  Alexander H. Levis,et al.  Validation and Verification of Decision Making Rules , 1995 .

[19]  Wolfgang Reisig.  Petri Nets: An Introduction , 1985, EATCS Monographs on Theoretical Computer Science.

[20]  Patrick J. Hayes,et al.  A Common-Sense Theory of Time , 1985, IJCAI.

[21]  James F. Allen.  An Interval-Based Representation of Temporal Knowledge , 1981, IJCAI.

[22]  Zohar Manna,et al.  Verification of concurrent programs, Part I: The temporal framework , 1981 .

[23]  Kenneth M. Kahn,et al.  Mechanizing Temporal Knowledge , 1977, Artif. Intell..

[24]  Alexander H. Levis,et al.  Validation and verification of decision making rules , 1995, Autom..

[25]  Peter Øhrstrøm,et al.  Temporal Logic , 1994, Lecture Notes in Computer Science.

[26]  S. A. Zaidi.  On the Generation of Multilevel Distributed Intelligence Systems Using Petri Nets , 1991 .

[27]  D. McDermott.  A Temporal Logic for Reasoning About Processes and Plans , 1982, Cogn. Sci..

[28]  Victoria Yu-yu Jin.  Delays for distributed decisionmaking organizations , 1985 .

[29]  James F. Allen.  Maintaining knowledge about temporal intervals , 1983, CACM.

[30]  James F. Allen,et al.  Planning Using a Temporal World Model , 1983, IJCAI.

[31]  Martín Abadi,et al.  Nonclausal Temporal Deduction , 1985, Logic of Programs.