检索结果-南通市图书馆

作者：刘鼎西安电子科技大学

学位级别：硕士

模型的建立是使用Petri Net对柔性制造系统(FMS)进行控制,确认,性能分析和仿真的第一步。本文将一个子类L-S3PR网中的活性性质进行了推广,并提出了一种用于检测一类更大范围网模型S3PR中是否存在死锁的线性算法。本文介绍了资源回路的... 详细信息

模型的建立是使用Petri Net对柔性制造系统(FMS)进行控制,确认,性能分析和仿真的第一步。本文将一个子类L-S3PR网中的活性性质进行了推广,并提出了一种用于检测一类更大范围网模型S3PR中是否存在死锁的线性算法。本文介绍了资源回路的概念和如何从网结构中获得资源回路,进而从资源回路导出信标的方法。证明了从资源回路导出的一个极小信标如果不含有任何P不变式的支撑,则它不是一个潜在的死锁。只有在系统运行中可被清空的极小信标才是系统不活的真正原因。除了结构,网模型不恰当的初始标识也会导致死锁。在设计和调整网模型时,根据约束条件来重新配置初始标识,使网模型无死锁的方法也结合实例在本文中做了详细介绍。对于S3PR (L-S3PR)网模型,给出了闲置库所与资源库所中托肯数之间的合适关系。所以,在不改变网结构的前提下,系统可以被快速重新配置,以适应需求的变化。这使得柔性制造系统的敏捷性得以保证。此外,本文还提出了一种用于死锁预防策略的正确算法。在这类系统的Petri网模型中,死锁是由未被标识的信标产生的。这个算法被用来从由MIP方法获得的极大信标中求取极小信标。本文还从信标定义的角度对算法的正确性进行了证明,而且这种算法同样是一种线性算法。

关键词：资源回路活性判定约束条件族无死锁线性算法

来源：

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

一类Petri网中基本信标的快速求解算法

一类Petri网中基本信标的快速求解算法

引用

作者：刘香玲西安电子科技大学

学位级别：硕士

柔性制造系统作为一种典型的离散事件系统是Petri网的一个重要应用领域。在柔性制造系统中,由于资源的竞争出现死锁现象。死锁预防是基于信标的一种死锁控制方法。系统中被清空的信标导致死锁发生。理论证明,只要控制住一个系统的基本信... 详细信息

柔性制造系统作为一种典型的离散事件系统是Petri网的一个重要应用领域。在柔性制造系统中,由于资源的竞争出现死锁现象。死锁预防是基于信标的一种死锁控制方法。系统中被清空的信标导致死锁发生。理论证明,只要控制住一个系统的基本信标,则整个系统不会发生死锁。基本信标是一类特殊的严格极小信标,它的个数比严格极小信标的个数少得多,并且不会超过网系统的规模。现有的方法中,基本信标是以已知所有的严格极小信标为前提的。但是,一个Petri网中的信标的个数是随着网的规模呈指数增长的。针对一个Petri网子类-SPR网,本文提出了一种从部分严格极小信标中求取基本信标的算法。根据SPR网的结构特点,一个SPR网中的资源回路对应一个信标,在资源回路中不含分支弧的情况下,对应一个严格极小信标。我们将SPR网抽象到一个有向资源图中。本工作中提出了补集矩阵的概念,并且理论证明,基本信标是补集矩阵对应的信标空间的一个基。从一个资源回路中,也可以求出对应的严格极小信标的补集。因此,根据图论知识,我们将求解严格极小信标转化成求解有向资源图中的满足一定条件的资源回路。经过大量的例子验证,本文的算法适用于大规模的SPR网,用时短,效率高。

关键词： Petri网柔性制造系统 S3PR网资源回路基本信标

来源：

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于Petri网结构分析的从属信标存在性研究

基于Petri网结构分析的从属信标存在性研究

引用

作者：周孙佐西安电子科技大学

学位级别：硕士

本文致力于研究Petri网的一个子类—L-S3PR（Linear S3PR）网的结构特性,分析在何种结构下从属信标必然存在。信标是网的结构特性,作为信标的子集严格极小信标（Strict Minimal Siphon,简称SMS）更是能反映出网结构的活性,... 详细信息

本文致力于研究Petri网的一个子类—L-S3PR（Linear S3PR）网的结构特性,分析在何种结构下从属信标必然存在。信标是网的结构特性,作为信标的子集严格极小信标（Strict Minimal Siphon,简称SMS）更是能反映出网结构的活性,资源的不合理分配必然会导致SMS的出现。由各个顺序进程通过共享资源连接起来的S3PR网系统可以为一大类柔性制造系统（Flexibile Manufactory System, FMS）建模,由于其良好的特性引起了人们的广泛兴趣。在其子类L-S3PR网中,资源的环形等待是死锁出现的充要条件。把由资源节点及之间的变迁组成的强连通子网抽象出来,并称之为资源有向图。资源的循环等待在有向图中表现为圆圈的出现,称之为资源回路。经研究发现,在L-S3PR网中SMS与资源回路是一一对应的关系。在S3PR（System of Simple Sequential Processes with Resource）网中,正是由于补集的存在导致了在网的进化过程中,SMS被清空。依照SMS的T-特征向量矩阵的特性,SMS被分成基本信标、强从属和弱从属信标。任一个从属信标的补集均可以被一组基本信标的补集线性表示,且组合关系完全等同于该从属信标特征T-向量与该组基本信标特征T-向量之间的组合关系。回路矩阵是一个资源有向图全部资源回路的代数描述,并且它与补集及T-特征向量矩阵相互等价。因此可以方便地、直观地利用资源回路间关系来描述必然存在丛属信标的一个网结构所需具备的条件。经过分析大量存在弱从属信标的网结构及其资源有向图,总结并证明了必然存在弱从属信标的资源有向图特性。通过资源有向图就能确定弱从属信标的存在性,这为判断网的性质提供了一种简便快捷的方式。

关键词：资源回路 L-S~3PR 信标资源有向图 Petri网

来源：

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

一类资源共享系统的Petri网最优活性控制

引用

安康师专学报 2002年第4期14卷 52-55页

作者：张东红安康师范专科学校数学系陕西安康725000

在资源共享系统中 ,竞争系统的有限资源会导致系统死锁等不希望事件的发生 ,文中利用辅助弧 ,通过引入资源回路概念来描述系统中的这一竞争过程 ,揭示了一类资源共享系统的资源竞争过程本质特点 ,阐述了资源回路与系统死锁之间的相互关... 详细信息

在资源共享系统中 ,竞争系统的有限资源会导致系统死锁等不希望事件的发生 ,文中利用辅助弧 ,通过引入资源回路概念来描述系统中的这一竞争过程 ,揭示了一类资源共享系统的资源竞争过程本质特点 ,阐述了资源回路与系统死锁之间的相互关系 ,给出了系统在Petri网模型下死锁存在的必要条件。提出了一种避免系统死锁的最优Petri网控制器设计方法 ,其方法在设计和计算上是有效的 ,几何上是直观的。

关键词： Petri网最优活性控制资源共享系统辅助弧资源回路死锁控制器

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

欢迎您,

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：