%0 Journal Article
%T Fuzzy time Petri Nets and Temporal Reasoning Method<br>模糊时间Petri网及其时间推理方法
%A 高梅梅
%A 吴智铭
%J 计算机科学
%D 2000
%I 
%X 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.
%K Petri nets
%K Linear logic
%K Fuzzy time Petri Nets
%K Temporal reasoning<br>Petri网
%K 时间推理
%K 模糊时间
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=59764B8E2FE97E69&yid=9806D0D4EAA9BED3&vid=DB817633AA4F79B9&iid=DF92D298D3FF1E6E&sid=708DD6B15D2464E8&eid=F3583C8E78166B9E&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=6