基于Petri网表示的嵌入式系统模型化简规则

• 作者: 夏传良
• 来源期刊: 计算机科学与探索
• 学科: 工学
• 关键词: 化简规则 Petri网 完全等价 保性 嵌入式系统
• 年，卷（期）: 2008,（6）
• 所属期刊栏目: 学术研究
• 页码范围: 614-626
• 页数: 13页
• 分类号: TP31
• 字数: 3405字
• 语种: 中文
• DOI: 10.3778/j.issn.1673-9418.2008.06.005

摘要

为了提高基于Petri网表示的嵌入式模型(PRES+)验证的效率,对模型进行了保性变换,给出了一组关于PRES+模型的化简规则,这些化简规则在原模型和简化模型之间保持完全等价关系.对两个系统模型的化简结果进一步说明了这些化简规则的有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	夏传良	山东建筑大学计算机学院	27	106	4.0	9.0