Fuzzy time Petri Nets and Temporal Reasoning Method
模糊时间Petri网及其时间推理方法

The paper presents a translation from Petri nets to linear login with the objective of enhanc ing the analysis ability of Petri nets. The definition of Petri nets is described by defining the translations in Petri nets using the connectives in linear logic,and the behavior of Petri nets is crmstructed using the rules we defined. A fuzzy time Petri net model and its temporal reasoning method using linear logic are proposed in the paper.The behavior of Petri nets can be analyzed precisely and clearly using this method. The method in this paper can be used in fuzzy process monitorimg and control.