摘要
本文研究了各种级别Petri网与模态逻辑之间的关系.Petri网的Enlogy是研究这些关系的基础.状况(case)和可达(Reachability)概念已经成功地用于以条件/事件(Condition/Event,简称C/E)网作知识表示.本文引用上述两个概念,使位置/变迁(Place/Transition,简称P/T)网和高级Petri网(High Level Petri Net,简称HLPN)可作知识表示.为了增强以 HLPN网作知识表示的能力,我们引用了状况变量和等价状况变量的概念.文中我们还以例子说明这些方法是可用的和有效的.
The relationships between various classes of Petri nets and modal logicare studied in this paper. Petri nets Enlogy provides some hints for these relationships. The concepts of case and case class have been successfully used to investigate knowledge representation of Condition/Event nets. In this paper both concepts are introduced into Place/Transition nets and High-level Petri nets for knowledge representation. We define case variables and equivalent case variables for knowledge representation of High-level Petri Nets in order to increase the representation power of knowledge.
出处
《计算机学报》
EI
CSCD
北大核心
1992年第1期1-16,共16页
Chinese Journal of Computers
基金
国家自然科学基金
中国科学院管理
决策与信息系统开放研究实验室合作课题基金
国家第七个五年计划科技攻关课题经费的资助
关键词
PETRI网
知识表示
模态逻辑
Condition/Event Nets, Place/Transition Nets, High-level Petri Nets, case, step, modal logic, marking variables, case variable and equivalence of case variable.
