On temporal logic programming using Petri nets
On temporal logic programming using Petri nets
复制标题
DOI：
10.1109/3468.759269
复制
发表时间：
1999-05
期刊：
影响因子：
--
通讯作者：
A. K. Zaidi
中科院分区：
文献类型：
--
作者：
A. K. Zaidi
提出了一种离散事件系统时间（时间敏感）方面的建模方法。本文给出了一种包含时间的点描述和区间描述的时态逻辑形式，它是Alien的区间逻辑的一种扩展。给出了点区间逻辑的形式公理系统。一个图模型实现的公理系统的点区间逻辑。这种基于图的方法将时态语句给出的系统规范转换为图结构。基于图形的时间推理引擎识别系统规范中的时间模糊性和错误（如果存在），推断系统间隔之间的新时间关系，并识别用户定义的感兴趣的间隔。
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.