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

• 作者: 汪丽华 陈杰 马良荔
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 模糊 有色Petri网 形式化方法
• 年，卷（期）: 2012,（z3）
• 所属期刊栏目: 形式化与网络应用
• 页码范围: 256-258
• 页数: 3页
• 分类号: TP182
• 字数: 2804字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	马良荔	海军工程大学电子工程学院	55	275	9.0	12.0
2	陈杰		5	8	1.0	2.0