基于Petri网子范畴的压缩规则

• 作者: 傅建明 刘莉萍 朱福喜
• 来源期刊: 小型微型计算机系统
• 学科: 工学
• 关键词: Petri网 子范畴 安全性 可达分析 压缩规则
• 年，卷（期）: 2004,（3）
• 页码范围: 391-394
• 页数: 4页
• 分类号: TP311
• 字数: 4939字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-1220.2004.03.016

摘要

设计了一个简单的压缩算法,并实现了一个基于压缩Petri网的安全性分析系统,实验结果表明此算法可急剧减少网的规模和验证时间.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	朱福喜	武汉大学计算机学院	46	250	9.0	13.0
2	傅建明	武汉大学计算机学院	52	412	10.0	18.0
3	刘莉萍	武汉大学计算机学院	2	3	1.0	1.0