22000字硕士毕业论文模糊Petri网合成操作等相关状态的研究

论文类型：硕士毕业论文

论文字数：22000字

论点：模糊,工作流,变迁

论文概述：

本论文，将模糊 Petri 网在一定条件下转化连续 Petri 网，使我们借助连续 Petri 网丰富的理论更好地研究模糊 Petri 网的性质特征。

论文正文：

第一章引言

1.1课题的研究背景

随着信息处理系统的不断扩展和复杂性，人们越来越需要使用系统工程方法来设计和维护信息系统。在信息系统的整个生命周期中，使用图形化的数学工具来完成系统的形式化描述、正确性验证、性能评估、目标实现和测试是非常必要的。
Petri网是一种可以用图形表示的网络模型。它直观、易于理解、易于使用。它在描述和分析并发现象方面是独一无二的。同时，也可以通过引入数学方法来分析Petri网。借助于Petri网分析方法和技术，它可以用于静态结构分析和动态行为分析。因此，一个Petri网系统模型可以满足上述要求，而其他图形或数学工具不具备这种功能。
Petri网是由德国著名数学家彼得里于1962年提出的。它最初是研究计算机系统中各种组件之间异步通信的数学模型。经过40多年的发展，Petri网已形成一个独立的学科分支，并已成功应用于计算机科学技术(如网络协议、软件设计、人工智能等)。)，自动化科学技术(如离散事件动态系统、混合系统等。)，机械设计和制造(如柔性制造系统)，以及许多其他科技领域。
利用各种扩展形式的Petri网，不仅可以定性理解建模系统的动态行为，还可以定量计算各种性能指标，为系统结构设计和参数选择提供依据。
工作流管理是近年来发展最快的计算机应用技术之一。它已被广泛应用于办公自动化、业务流程重组等需要规划和管理工作流的领域。建模工作流有许多方法。Petri网作为一种经典的并发模型，近年来已经成为工作流建模的主要工具，并得到了成功的应用。近年来，用高级Petri网建模已经成为工作流过程模型研究的热点。由于高级Petri网提供了更加紧凑和方便的建模语言，工作流网可以更好地适应复杂工作流的建模过程。例如，根据实际业务流程建模中成本预算分析的要求，文件[2，3]将有色Petri网和价格Petri网有机地结合起来，提出了一种用于工作流建模的广义价格有色Petri网。文献[4]介绍了基于时间Petri网和工作流分析技术的时间工作流网的概念，并在CORBA系统中建立了工作流的时间工作流网模型，该模型由一组时间受限的子工作流组成。文献[5]介绍了定时Petri网和有色Petri网，以建立基于定时有色Petri网的工程项目工作流模型。
Petri网也很容易与其他技术和理论相结合，如面向对象理论、模糊理论、神经网络等。这些改进的Petri网与其他技术理论相结合，已经广泛应用于计算机、制造、机器人、知识系统、过程控制等工程应用中。对于复杂系统，Petri网可以分层描述它们，并逐步细化它们，以便于与面向对象的思维方法进行通信。……
……

第2章Petri网理论

Petri网是德国学者C. A. Petri提出的一种对离散事件动态系统建模和分析的方法。它不仅具有直观的图形描述手段，而且具有严格的数学基础，因此在许多领域得到了广泛的应用。Petri网之所以得到广泛应用和研究，是因为它有一套丰富完整的分析方法。
本章将介绍Petri网的基本概念和基本分析方法。

2.1 Petri网基本概念

2.1.1 Petri网基本定义

定义2.1 Petri网是一个三元组N = (P，T；其中:
(1) p {p，P，p12n =是有限的非空库集，TT，T，T12m =是有限的非空转移集，P∪T≦φ，P∪T =φ；
(2)f(p×t)≈t×p是净氮的流量关系；
(3) dom(F) ∪ cod(F)= P∪T，其中dom(F) = x∈P∪ T| y∈P∪T:(x，y)∈F，cod (f) = x ∈ p ∪ t | y ∈ p ∪ t: (y，x)∈F。
和和与转换是两个不同的元素，因此P∪T =φ，P∪T͎T
在Petri网的图形表示中，库用圆圈表示，转移用短线表示，库和转移用有向弧连接。N = (P，T；f)形成定向网络。
定义2.2m: p → 0，1，2...作为识别功能。初始标记用0M表示，σ (n，m) 0 =构成一个Petri网系统。(N，M)0的定义只反映了Petri网的静态特征，即网络结构和初始资源分布。Petri网的动态行为以改变使能条件和发生规则为特征，并以识别的进化过程来表示。
定义2.3集N = (P，T；f)是一张网。对于x ∈ P∪T，让x = { y | y∈PT ∪( y，x)∈F∪x = { y | y∈PT ∪( x，y)∈F∪并分别调用x和x的前集合和后集合。
定义了2.4 Petri网转换的启用和生成规则:
(1)对于转换t ∈ T，如果p ∈ p: p ∈ t → m (p) ≥ 1，则转换T具有生成权限或在标识符M中启用，并记录为M[t >。
(2)如果M·[t >，那么在标记M下，可以发生转换t，并且从标记M的转换t中获得新的标记M’，其被表示为M·[t > M’，并且+∞= M(p)如果pttM(p)1定义了2.5并发性并且冲突n是网络，则其他M(p)1如果> > > 11222m [TMM [t和> > > > 12333，则> 1112M [tM[t假设是一张网，[电信[电信1112米，如果[电信[电信11222米和[电信[电信12331米，据说1t和2t在1M处发生冲突。考虑到定义2.1中库的容量默认为无穷大，在一般的Petri网中没有冲突的概念。因此，变更的并发性仅受前一组变更中每个存储体中的令牌数量的影响，而后一组变更中的令牌数量不影响变更的启用和发生。……
……

第三章模糊Petri网理论................................................................................12
3.1模糊Petri网的基本概念.....................................................................12
3.2模糊Petri网与连续Petri网的关系.................................................13
3.3..................................................................................................................18
第4章模糊Petri网的综合...................................................................19
4.1模糊Petri网的基本概念.....................................................................................................19
4.2模糊Petri网的综合.....................................................................................................21
4.3综合模糊Petri网和原子网的性质分析....................................................................................25
4.4示例分析..............................................................................................................................26
4.5............................................................................................................................................27
第5章结论...............................................................................................................................28

摘要
介绍了本课题的研究背景，说明了本课题的研究目的和意义，总结了模糊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网的综合操作。