摘要
Petri网是一种用网状图形表示系统模型的方法,它能够从组织结构、控制和管理的角度,精确描述系统中事件(变迁)之间的依赖(顺序)和不依赖(并发)关系。但传统的Petri网理论其不足之处在于:它的分析方法主要是可达树分析法和线性代数描述法。可达树分析法是针对某一个初始标识的,一个新的初始标识就意味着需要重新构造可达状态图;
The paper presents a translation from Petri nets to linear logic with the objective of 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. A fuzzy time Petri net model and its temporal reasoning method using linear logic are proposed in the paper. The behavior of Petn nets can be analyzed precisely and clearly using this method. The method in this paper can be used in fuzzy process monitoring and control.
出处
《计算机科学》
CSCD
北大核心
2000年第7期11-14,31,共5页
Computer Science
关键词
PETRI网
时间推理
模糊时间
Petri nets,Linear logic,Fuzzy time Petri Nets,Temporal reasoning
