一种基于线性逻辑的时间Petri网推理方法

A TEMPORAL REASONING METHOD OF TIME PETRI NETS BASED ON LINEAR LOGIC

针对传统分析方法的不足 ,提出了时间 Petri网的线性逻辑表示和时间推理方法 .基于线性逻辑 ,定义了时间 Petri网中变迁之间的各种触发规则 ,在这些规则的基础上 ,提出了时间 Petri网运行行为的证明方法 ,此方法能清楚地分析时间 Petri网的运行行为和进行时间推理 .

A translation from time Petri nets to linear logic is presented in this paper. The definition of time Petri nets is described by defining the translations in Petri nets using the connectives in linear logic, and fire rules in time Petri nets are defined using linear logic. The behavior of time Petri nets can be constructed and temporal reasoning can be realized using the rules defined. The behavior of time Petri nets can be analyzed clearly using the method introduced.