Petri网的结构性态分析及其形式描述

来源 :杭州电子科技大学 | 被引量 : 0次 | 上传用户:kkhaizi
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
Petri网是一种图形和数学建模工具,具有直观的图形表示、严格的数学基础,能够反映系统的动态性能等特点,能够描述和分析并发现象。它强大的模拟能力,使得其在许多领域得到了应用。时延Petri网是将每个变迁与时间函数一一对应,这种与时间相关的Petri网极大地提高了经典Petri网的模拟能力,并在离散事件动态系统中已得到了广泛应用。模糊Petri网作为Petri的一个重要分支,不仅可以有效处理具有不精确的、不确定的复杂模型问题,而且可以揭示出被模拟系统行为方面的重要信息,然后利用这些信息可以估计和分析实际系统的行为特征。   本文首先结合当前的理论和实际情况介绍了本课题的研究背景并说明了该课题研究的目的及意义,同时对Petri网理论研究的基本概念和分析方法做了简介。其次,根据不同的应用背景,针对目前所有已经出现的仅限于推理模式的模糊Petri网,将四种典型的不同模糊推理方法进行了详细的对比分析,结果表明现有模糊Petri网对经济系统、生态环境系统的循环往复建模分析方面有其特点及不足。本文在模糊动态Petri网的定义和运行规则基础上将经典Petri网与模糊Petri网结合,研究了具有死锁和陷阱结构的闭环模糊Petri网系统,通过配置不同的初始标识,分析了其动态运行特性,同时给出算例分析。再次,将一类含有自环库所的时延离散Petri网等价性地简化为一类带有限制向量的时延离散Petri网,使标识向量的维数大幅度地减少,并在此基础上,首次提出了一个新颖的时延离散Petri网模型,并给出它的形式定义及其动态运行规则,其中包括激发规则、先入先出规则、激发量计算公式,以及与此相关的一些重要结论,结合不同情况给出了算例分析,研究了各个库所的token数值在不同时刻不同状态下的变化规律,同时绘制出了相应的曲线图,最后验证了该形式描述方法具有一定的合理性。   本文研究的具有死锁和陷阱结构的闭环模糊Petri网系统性态分析能更有效地对经济系统、生态系统等循环系统进行建模和分析,极大地拓宽了模糊Petri网的应用范畴,并且对于闭坏模糊Petri网结构理论的进一步研究也起到了积极作用。另外,文中还提出了一类时延离散Petri网的形式分析方法,该方法有助于时延离散Petri网的结构性质的研究,还可以避免在建模过程中系统出现死结。   最后,简单地总结了本文的全部内容并提出了未来的研究工作。
其他文献
小学阶段是学生阅读积累的黄金季节,基于此,教师就要在课内阅读与课外阅读之间架起互通桥梁,切准课内阅读与课外阅读连接的立足点,努力构建“一点三圈”阅读模式,即以课内阅
随着非线性科学的不断发展,发现物理学、量子场论、光纤通信、数学等自然科学领域和工程应用中的诸多问题都与非线性发展方程有着密切联系。因此,非线性发展方程的求解问题在理
有限域与有限环上自正交码一直是纠错码理论研究的重要课题。随着量子纠错技术的不断发展,人们发现可以利用经典的自正交码来构造量子码,从而引起学者对构造经典自正交码产生浓
In order to calculate the air temperature of the near surface layer in urban environment,the surface layer air was divided into several sections in the vertical
本文主要讨论了多线性奇异积分算子与多线性极大函数在Lorentz空间上的加权模不等式.我们首先讨论了奇异积分算子及其交换子在加权Lorentz空间上的有界性,接着又讨论了多线性
2014影像视觉户外旅行摄影大赛已经圆满结束,我们分享优秀的户外旅行摄影师的出行拍摄经历,看看能否让你产生出外拍摄的欲望吧!李一蕊还记得是2013年6月5日的越南柬埔寨之旅
期刊
在Hilbert空间上的分析以及算子的谱理论是现代数学,物理及工程科学的众多分支中不可缺少的工具.数学物理,量子力学,信号处理和遍历理论的许多问题都可以转化为关于谱的问题.在
Quasipolar环是一类重要的强clean环.环的强clean性起源于在模消去中起着重要作用的exchange环的研究,强clean环以简洁的表现形式和良好的性质引起了诸多环论学者的兴趣并对此
本文通过对荣华二采区10
期刊