An Analysis Method of Petri Nets Based on Linear Logic
一种基于线性逻辑的Petri网分析方法

The paper presents a translation from Petri nets to linear logic with the objective ot enhancing 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 constructed using the rules we defined. The behavior of Petri nets can be described precisely and clearly using this method.