By Topic

On temporal logic programming using Petri nets

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

1 Author(s)
Zaidi, A.K. ; Dept. of Comput. Sci., Mohammad Ali Jinnah Univ., Karachi, Pakistan

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

Published in:

Systems, Man and Cybernetics, Part A: Systems and Humans, IEEE Transactions on  (Volume:29 ,  Issue: 3 )