模糊有色Petri网的形式化推理算法研究

摘要：

Petri网以其图形化的表示方式广泛应用于形式化推理中.基于模糊有色Petri网的形式化推理算法,以系统内部事务之间的逻辑关系为依据,充分利用模糊Petri网在分析不确定知识中的优势,通过知识模糊、库所抽象、转换抽象实现层次化的知识表示和知识推理,并结合有色Petri网对系统规模作适当约简,从而构造出了一种新型的模糊着色网(FCPN)知识表示和获取模型,有效弥补了传统Petri网在实际应用中的缺陷,使模糊推理过程更加简单且易于实现.

关键词：模糊、有色Petri网、形式化方法

所属期刊栏目：39

分类号：TP182(自动化基础理论)

在线出版日期：2013-01-28（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：256-258