Petri网用于表示知识

• 作 者: 林闯 陆维明
• 机 构: 国家信息中心信息科学与应用研究所,中国科学院数学研究所
• 出 处: 计算机学报
• 发表日期: 1992年1期
• 关键词: PETRI网 知识表示 模态逻辑 Condition/Event Nets Place/Transition Nets High-level Petri N
• 基金项目: 国家自然科学基金,,中国科学院管理、决策与信息系统开放研究实验室合作课题基金,,国家第七个五年计划科技攻关课题经费的资助

本文研究了各种级别Petri网与模态逻辑之间的关系.Petri网的Enlogy是研究这些关系的基础.状况(case)和可达(Reachability)概念已经成功地用于以条件/事件(Condition/Event,简称C/E)网作知识表示.本文引用上述两个概念,使位置/变迁(Place/Transition,简称P/T)网和高级Petri网(High Level Petri Net,简称HLPN)可作知识表示.为了增强以 HLPN网作知识表示的能力,我们引用了状况变量和等价状况变量的概念.文中我们还以例子