基于带抑止弧的Petri网表示的嵌入式系统模型化简

发布时间：2021-11-18 08:08

　　嵌入式系统广泛应用于无人机、智能家居、医疗设备等领域。对可靠性,正确性和实时性的高要求是嵌入式系统的基本特征。伴随着嵌入式技术的发展,嵌入式系统的复杂程度不断提高且对时间的依赖性不断增强。为了保证系统的正确性和有效性,需要在嵌入式系统的设计中采用形式化的建模方法。Petri网是一种使用直观的图形方式和形式化的证明方式对系统进行建模和分析的数学模型。但是经典Petri网缺少时间特性和数据表达能力,不能对嵌入式系统的实时性要求和数据流进行很好地描述。基于Petri网表示的嵌入式系统PRES+（Petri net based Representation for Embedded Systems）网可以描述实时嵌入式系统,但是对复杂嵌入式系统建模较为繁琐且不直观。针对经典Petri网和PRES+网的这些缺点,本文将抑止弧加入PRES+网中,得到基于带抑止弧的Petri网表示的嵌入式系统PIRES+（Petri net with Inhibitor arcs based Representation for Embedded Systems）网。PIRES+网提高了建模和验证复杂嵌入式系统的能... 

【文章来源】：山东建筑大学山东省

【文章页数】：67 页

【学位级别】：硕士

【文章目录】：
摘要
ABSTRACT
第1章 绪论
    1.1 课题研究背景和意义
    1.2 研究现状
    1.3 本文的研究工作
    1.4 本文的组织结构
第2章 基于Petri网表示的嵌入式系统模型
    2.1 嵌入式系统的形式化建模方法
    2.2 PRES+网
    2.3 PIRES+网
    2.4 本章小结
第3章 基于带抑止弧的Petri网表示的嵌入式系统模型化简规则
    3.1 相关概念
    3.2 PIRES+网的化简规则
        3.2.1 基于串联库所的化简
        3.2.2 基于串联变迁的化简
        3.2.3 基于具有相同输入输出库所的化简
        3.2.4 基于特定变迁和库所的化简
        3.2.5 基于T型子网的化简
        3.2.6 基于P型子网的化简
    3.3 应用实例
    3.4 本章小结
第4章 基于PIRES+子网化简的活性和有界性的保持性证明
    4.1 PIRES+网的状态概念
    4.2 基于T型子网化简的活性、有界性保持性证明
    4.3 基于P型子网化简的活性、有界性保持性证明
    4.4 基于子网化简的应用实例
        4.4.1 用PIRES+网表示的嵌入式报警系统及其化简
        4.4.2 活性和有界性的保持性分析
    4.5 本章小结
第5章 化简规则的系统应用
    5.1 基于嵌入式系统的多参数监护仪设计
    5.2 对基于嵌入式系统的多参数监护仪网系统的化简
    5.3 本章小结
第6章 总结和展望
    6.1 主要研究成果
    6.2 存在问题及进一步研究工作
参考文献
后记
攻读硕士学位期间论文发表及科研情况


【参考文献】：
期刊论文
[1]Research on Petri Net System Parallel Subnet Partitioning Completeness Theory and Algorithm[J]. LI Wenjing,LI Songzhao,LU Jianbo.  Wuhan University Journal of Natural Sciences. 2019(03)
[2]延迟时间Petri网的验证分析[J]. 冯复剑.  计算机工程与应用. 2019(04)
[3]基于Petri网关联矩阵的流程模型间距离计算方法[J]. 吴亚锋,谭文安.  计算机与数字工程. 2018(03)
[4]带抑制弧Petri网的保性变换[J]. 莫礼平,乐晓波,周恺卿,张兆海.  计算机应用. 2012(11)
[5]带抑制弧的时延着色Petri网模型检测技术[J]. 杨年华,虞慧群,孙华.  计算机科学. 2011(01)
[6]基于Petri网嵌入式系统模型的组合与修改[J]. 许浒,张伟,周青.  微计算机信息. 2010(23)
[7]基于Petri网表示的嵌入式系统模型化简规则（英文）[J]. 夏传良.  计算机科学与探索. 2008(06)
[8]带弧标识的时钟同步Petri网[J]. 孙屹,丁艳,张冬.  微型机与应用. 2005(03)



本文编号：3502531