论文部分内容阅读
Petri网是一种可用图形表示的网络模型,具有直观、易懂和易用的优点,对描述和分析并发现象有独到的优越之处。同时,Petri网又是严格定义的数学对象,借助于网络结构开发的离散事件系统分析方法和技术,既可用于静态结构分析,又可用于动态行为分析。经过40多年的发展,Petri网已经形成了比较系统的形式化建模、模型分析验证方法技术体系,在计算机科学技术(如网络协议、软件设计、人工智能等)、自动化科学技术(如离散事件动态系统、混杂系统等)、机械设计与制造(如柔性制造系统)以及其他许多科学技术领域得到了成功的应用。利用Petri网的各种拓展形式,不仅有助于定性地理解被建模系统的动态行为,还可以定量地计算各种性能指标,为系统结构的设计和参数的选择提供依据。本文将经典Petri网和模糊集理论结合,着重介绍模糊Petri网的动态行为,以更好地对实际系统进行建模和分析。模糊Petri网除了具有传统Petri网的基本特征外,还具有自己的独特性质,从而拓宽了Petri网的应用领域。本文首先介绍了本课题的研究背景及国内外的现状,结合本课题的当前的研究现状和实际的应用说明了本课题的研究目的和意义。之后介绍了Petri网的基本理论及相关性质运算。不同文献对于模糊Petri网给出过多种定义方式。本文介绍了一种以模糊推理为应用背景的模糊Petri网的基本定义及运算规则并给出了一般的基于关系矩阵的形式化算法。然后简要介绍了连续Petri网的基本概念,通过研究模糊Petri网和连续Petri网的运行规则讨论了它们之间的关系,得出了模糊Petri网在一定条件下可以转化为一个特殊的连续Petri网,从而可以将模糊Petri网的问题转化为连续Petri网的问题,同时利用它们之间的关系定义了模糊Petri网的一些性质。由于目前的模糊Petri网大多数是基于推理模式的,即有起始库所和终结库所的,且Petri网是一个有向图,本文又介绍了一种有回路的模糊Petri网的基本理论。文中在Petri网的合成运算基础上提出了模糊Petri网的合成运算,并定义了模糊Petri网的共享合成、同步合成及链路合成,然后从关系矩阵角度讨论了子网与合成网的关系,并利用子网的关系矩阵构造出合成网的矩阵,简捷刻画了模糊Petri网合成运算的特点。本文将模糊Petri网在一定条件下转化连续Petri网,使我们借助连续Petri网丰富的理论更好地研究模糊Petri网的性质特征。此外在Petri网的合成运算的基础上提出模糊Petri网的合成运算,不仅为复杂模糊Petri网的分析提供了很好的途径而且丰富了模糊Petri网的理论。最后对本文的研究进行了全面总结,指出了本文存在的不足之处,并对未来的研究方向进行了展望。