%0 Journal Article
%T An Analysis Method of Petri Nets Based on Linear Logic<br>一种基于线性逻辑的Petri网分析方法
%A 高梅梅
%A 吴智铭
%J 计算机科学
%D 2000
%I 
%X 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.
%K Petri nets
%K Linear logic<br>Petri网络
%K 线性逻辑
%K 离散事件系统
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=3210E6EEFE35E14F&yid=9806D0D4EAA9BED3&vid=DB817633AA4F79B9&iid=E158A972A605785F&sid=13553B2D12F347E8&eid=A04140E723CB732E&journal_id=1002-137X&journal_name=计算机科学&referenced_num=2&reference_num=6