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

doi:10.3778/j.issn.1673-9418.2008.06.005

计算机科学与探索 ›› 2008, Vol. 2 ›› Issue (6): 614-626.DOI: 10.3778/j.issn.1673-9418.2008.06.005

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

夏传良^1,2+

1. 山东建筑大学计算机学院，济南 250101
2. 中国科学院软件研究所计算机科学国家重点实验室，北京 100190

收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2008-12-06 发布日期:2008-12-06
通讯作者: 夏传良

Reduction rules for Petri Net based representation for embedded systems

XIA Chuanliang^1,2+

1. School of Computer Science and Technology， Shandong Jianzhu University， Jinan 250101， China
2. State Key Laboratory for Computer Science， Institute of Software， Chinese Academy of Sciences， Beijing 100190， China

Received:1900-01-01 Revised:1900-01-01 Online:2008-12-06 Published:2008-12-06
Contact: XIA Chuanliang

摘要/Abstract

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

关键词: 化简规则, Petri网, 完全等价, 保性, 嵌入式系统

Abstract: The research concentrates on the aspects related to reduction rules for Petri Net based Representation for Embedded Systems （PRES+）. The major motivation of this work is to give correctness-preservation transformations to improve the verification efficiency. It proposes a set of reduction rules to reduce PRES+ nets to the equivalent reduced PRES+ nets. Reductions for two system models demonstrate the efficiency of this reduction rules on practical applications.

Key words: reduction rules, Petri Nets, total-equivalence, property preservation, embedded system

夏传良1,2+ . 基于Petri网表示的嵌入式系统模型化简规则[J]. 计算机科学与探索, 2008, 2(6): 614-626.

XIA Chuanliang^1,2+. Reduction rules for Petri Net based representation for embedded systems[J]. Journal of Frontiers of Computer Science and Technology, 2008, 2(6): 614-626.

[1]	周广瑞, 徐淑琳, 郭乙运, 鲁法明, 岳昊. 标注Petri网的最小代价计划序列估计[J]. 计算机科学与探索, 2021, 15(7): 1350-1358.
[2]	葛红美，徐超，何炎祥. 编译前端分析自动构件化代码可靠性加强方法[J]. 计算机科学与探索, 2018, 12(7): 1100-1108.
[3]	姜家鑫，黄志球，马薇薇. 满足隐私需求的服务组合信息流控制方法研究[J]. 计算机科学与探索, 2018, 12(3): 370-379.
[4]	孙晓玲. 直觉模糊Petri网的双向模糊故障推理算法[J]. 计算机科学与探索, 2017, 11(6): 1006-1013.
[5]	仵志鹏，胡军，陈松，石娇洁. 面向AltaRica模型的嵌入式系统安全性验证方法[J]. 计算机科学与探索, 2017, 11(1): 24-36.
[6]	李登辉，焦健，陈昕，宋亚鹏，肖庆. 有色Petri网的Android恶意代码建模方法研究[J]. 计算机科学与探索, 2017, 11(1): 99-105.
[7]	赵芳，方贤文，方欢. Petri网动态切片的最小变化域分析方法[J]. 计算机科学与探索, 2016, 10(4): 516-523.
[8]	陈园军，石浚菁，王林章，李宣东. 中断驱动的嵌入式系统数据竞争检测工具[J]. 计算机科学与探索, 2015, 9(8): 914-925.
[9]	代飞，莫启，林雷蕾，朱锐，李彤，谢仲文. 结合Petri网和Pi演算的协同业务过程建模[J]. 计算机科学与探索, 2015, 9(6): 692-706.
[10]	贾垒，刘靖，马燕林，叶新铭. BitTorrent协议中激励机制的设计与分析[J]. 计算机科学与探索, 2014, 8(3): 275-287.
[11]	王晶，胡昊，余萍，吕建，葛季栋. 结合公共视图和对象Petri网的跨组织流程建模[J]. 计算机科学与探索, 2014, 8(1): 18-27.
[12]	王纯子，郭伟，张斌. 求解非线性混合整数规划的算法设计与仿真[J]. 计算机科学与探索, 2013, 7(9): 854-864.
[13]	张茗泰，张广泉，张侃，陈名才，封飞. 描述CPS物理实体的时空Petri网模型[J]. 计算机科学与探索, 2013, 7(4): 377-384.
[14]	何炎祥，沈华. 随机Petri网模型到马尔可夫链的转换规则与实现[J]. 计算机科学与探索, 2013, 7(1): 55-62.
[15]	司冠南，杨巨峰，许静. 网构软件可信性演化评估分层Petri网模型[J]. 计算机科学与探索, 2012, 6(7): 621-630.

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

Reduction rules for Petri Net based representation for embedded systems

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics