期刊文献+
共找到36篇文章
< 1 2 >
每页显示 20 50 100
Petri net based modeling and analysis for weldingflexible manufacturing cell 被引量:3
1
作者 邱涛 陈善本 +1 位作者 吴林 汪云涛 《China Welding》 EI CAS 2001年第1期1-7,共7页
Due to the development of advanced manufacturing technology and the introduction of Smart Manufacturing notion in the field of modern industrial production, welding flexible manufacturing using robot technology has b... Due to the development of advanced manufacturing technology and the introduction of Smart Manufacturing notion in the field of modern industrial production, welding flexible manufacturing using robot technology has become the inevitable developing direction on welding automation. Based on a new intelligent arc welding flexible manufacturing cell (WFMC), its system structure and control policies are studied in this paper. Aiming at the different information flows among every subsystem and central monitoring computer in this WFMC, Petri net theory is introduced into the process of welding manufacturing. A discrete control model of WFMC has been constructed, in which the system's status is regarded as place and the control process is regarded as transition. Moreover, grounded on automation Petri net principle, the judging and utilizing of information obtained from welding sensors are imported into Petri net structure, which extends the traditional Petri net concepts. The control model and policies researched in this paper have established foundation for further intelligent real time control on welding flexible manufacturing cell and system. 展开更多
关键词 robot welding welding flexible manufacturing cell petri net MODELING control
下载PDF
Petri网的子类G–system网的死锁控制策略 被引量:3
2
作者 李绍勇 安爱民 +3 位作者 蔡颖 厚彩琴 韩喜莲 王瑛 《控制理论与应用》 EI CAS CSCD 北大核心 2013年第11期1429-1436,共8页
由于柔性制造系统中的死锁问题与对应建模Petri网中信标密切相关,如何准确和快捷地求解这样的信标,对于基于信标可控的死锁控制策略设计而言,是十分重要的.本文提出了基于G-system网灵巧信标的迭代式求解与受控的死锁控制策略.与目前求... 由于柔性制造系统中的死锁问题与对应建模Petri网中信标密切相关,如何准确和快捷地求解这样的信标,对于基于信标可控的死锁控制策略设计而言,是十分重要的.本文提出了基于G-system网灵巧信标的迭代式求解与受控的死锁控制策略.与目前求解导致死锁信标所采用的部分枚举方法相比,该方法避免了先求解出最大的死标识信标,进而从中提取极小信标的步骤,提高了信标的计算效率.同时,通过添加适当的控制库所,使得灵巧信标满足max0-controlled,获取的活性受控G–system网系统的许可行为数目可以得到进一步的提升.通过理论分析和算例验证,表明了该死锁控制策略的正确性和有效性. 展开更多
关键词 柔性制造系统 petri 死锁控制 灵巧信标 活性受控系统
下载PDF
Control Algorithm Using a Revised MIP Method to Deal with Livelocks in S^4R of Petri Nets
3
作者 李绍勇 吴宗礼 +3 位作者 李海林 魏先宏 蔡颖 厚彩琴 《Journal of Shanghai Jiaotong university(Science)》 EI 2019年第2期190-195,共6页
Livelocks, like deadlocks, can result in serious results in running process of flexible manufacturing systems(FMSs). Current deadlock control policies(DCPs) based on mixed integer programming(MIP) cannot detect siphon... Livelocks, like deadlocks, can result in serious results in running process of flexible manufacturing systems(FMSs). Current deadlock control policies(DCPs) based on mixed integer programming(MIP) cannot detect siphons that cause and cope with livelocks in Petri nets. This study proposes a revised mixed integer programming(RMIP) method to directly solve the new smart siphons(NSSs) associated with livelocks in a system of sequential systems with shared resources(S^4 R), a typical subclass of generalized Petri net models. Accordingly,the solved NSSs are max'-controlled by adding the corresponding control places(CPs). As a result, an original S^4 R system with livelocks can be converted into the live controlled Petri net system. The related theoretical analysis and an example are given to demonstrate the proposed RMIP and the corresponding control algorithm(CA). 展开更多
关键词 flexible manufacturing system(FMS) petri netS revised mixed INTEGER programing(RMIP) livelocks live controlled petri net system
原文传递
共享竞争择一资源Petri网的形式化设计方法 被引量:2
4
作者 崔亚军 王君英 《计算机学报》 EI CSCD 北大核心 1993年第10期730-738,共9页
自动制造系统中有许多共享资源,例如,机器人、数控加工中心、无人导引自动小车等,竞争择一是其共享方式之一,以往,自动制造系统的Petri网控制器设计几乎都是试凑,而且一些性质不能得到满足,如无死锁,这主要是对共享资源的不适当设计造成... 自动制造系统中有许多共享资源,例如,机器人、数控加工中心、无人导引自动小车等,竞争择一是其共享方式之一,以往,自动制造系统的Petri网控制器设计几乎都是试凑,而且一些性质不能得到满足,如无死锁,这主要是对共享资源的不适当设计造成的,对于多个子系统,为了使之能很好地工作,必须研究一种设计有界、无死锁的Petri网控制器的方法,本文在以往工作的基础上,提出了有界、无死锁、安全Petri网控制器设计的形式化方法,它也适用于Petri网的自动建模。 展开更多
关键词 petri 竞争择一 设计 自动制造
下载PDF
柔性制造系统Petri网模型的化简 被引量:1
5
作者 岳昊 李文杰 《云南民族大学学报(自然科学版)》 CAS 2010年第6期417-422,共6页
在一类S3PR网柔性制造系统Petri网模型N中,位置特殊资源不可能出现在网的严格极小信标和基本信标之中.因此,对于包含此类资源的网系统,为了缩小网规模,需要对其化简.化简算法对网模型进行处理,将位置特殊资源及相关操作库所、变迁和弧删... 在一类S3PR网柔性制造系统Petri网模型N中,位置特殊资源不可能出现在网的严格极小信标和基本信标之中.因此,对于包含此类资源的网系统,为了缩小网规模,需要对其化简.化简算法对网模型进行处理,将位置特殊资源及相关操作库所、变迁和弧删去.同原网系统相比,最终得到的网系统具有较少的库所、变迁和较简单的网结构. 展开更多
关键词 柔性制造系统 petri 信标 资源 化简
下载PDF
基于Petri网的柔性制造系统建模的调度算法 被引量:4
6
作者 彭海波 应保胜 陈馨 《中国工程机械学报》 2005年第2期219-223,共5页
针对柔性制造系统(FMS)建模中存在的问题,通过分析FMS的组成和特点,提出了基于赋时对象Petri网的建模方法.该方法集中了Petri网和面向对象技术的优点,利用赋时对象Petri网,建立了FMS的资源对象模型和动态行为模型.同时分析了传统调度算... 针对柔性制造系统(FMS)建模中存在的问题,通过分析FMS的组成和特点,提出了基于赋时对象Petri网的建模方法.该方法集中了Petri网和面向对象技术的优点,利用赋时对象Petri网,建立了FMS的资源对象模型和动态行为模型.同时分析了传统调度算法的优缺点,在传统调度算法的基础上提出了时间-A搜索算法,该算法能有效地解决了FMS仿真时的调度问题,使得加工路径代价较低,同时避免了A搜索算法搜索节点多、搜索效率低的弊端. 展开更多
关键词 petri 柔性制造系统(FMS)建模 调度算法
下载PDF
基于 Petri 网结构分析的死锁避免控制研究 被引量:1
7
作者 李赣湘 杨成梧 《南京理工大学学报》 EI CAS CSCD 1998年第3期264-267,共4页
该文基于Petri网的结构特性,针对柔性制造系统中共享多种资源的串行过程提出了一种死锁避免方法。通过在原Petri网的基础上增加局部控制库所以保证无陷井的极小死锁带有标识,将扩展网限制到安全标识,从而避免了全局死锁的... 该文基于Petri网的结构特性,针对柔性制造系统中共享多种资源的串行过程提出了一种死锁避免方法。通过在原Petri网的基础上增加局部控制库所以保证无陷井的极小死锁带有标识,将扩展网限制到安全标识,从而避免了全局死锁的发生。 展开更多
关键词 柔性制造系统 死锁 控制 petri
下载PDF
基于Petri网运算的系统范例分析 被引量:1
8
作者 蒋昌俊 《系统工程学报》 CSCD 1994年第2期110-118,共9页
文献[1]中首次提出了P/T网的加法运算与笛卡尔积运算的概念,并对这两种运算的代数性质进行了研究。本文基于文献[1]的结果,对柔性制造系统、资源共享系统、控制系统中若干范例进行分析,从而显示了Petri网运算的背景及... 文献[1]中首次提出了P/T网的加法运算与笛卡尔积运算的概念,并对这两种运算的代数性质进行了研究。本文基于文献[1]的结果,对柔性制造系统、资源共享系统、控制系统中若干范例进行分析,从而显示了Petri网运算的背景及其意义。 展开更多
关键词 petri 柔性制造系统 系统分析 系统模拟
下载PDF
顺序共享资源制造系统Petri网控制器的形式化设计方法 被引量:1
9
作者 李志武 郝林 《机械科学与技术》 CSCD 北大核心 2002年第3期488-490,共3页
基于通信顺序进程和资源向量的有关概念 ,提出了截断迹及截断迹集 ,研究了系统具有共享资源时标志容量的计算方法 ,提出了具有顺序共享资源制造系统
关键词 共享资源 资源向量 截断迹 petri网控制器 FMS 制造系统 形式化设计方法
下载PDF
柔性制造系统Petri网模型中的一类共享资源
10
作者 岳昊 李文杰 《湖北民族学院学报(自然科学版)》 CAS 2010年第3期349-352,共4页
揭示了柔性制造系统(flexible manufacturing systems,简称FMS)中死锁发生的内在机制,选择形式化的系统建模工具Petri网为手段.在FMS的Petri网模型S3PR网中,同一加工过程内的不同加工操作所共享的资源,是一类特殊资源.同独立加工过程的... 揭示了柔性制造系统(flexible manufacturing systems,简称FMS)中死锁发生的内在机制,选择形式化的系统建模工具Petri网为手段.在FMS的Petri网模型S3PR网中,同一加工过程内的不同加工操作所共享的资源,是一类特殊资源.同独立加工过程的共享资源一样,同一加工过程内的不同加工操作所共享的资源也可能导致系统发生死锁.因此,将这类资源定义为加工过程内共享资源.在FMS的死锁控制中,需要将加工过程内共享资源的影响因素考虑进来. 展开更多
关键词 柔性制造系统 petri 共享资源 死锁
下载PDF
柔性制造系统Petri网模型中的两类特殊资源
11
作者 岳昊 《计算机应用研究》 CSCD 北大核心 2010年第7期2530-2532,2562,共4页
在一类S3PR网柔性制造系统Petri网模型N中,考察两类所处位置特殊的资源。这两类资源分别被定义为第一类和第二类位置特殊资源。随后,证明这些资源不会出现在S3PR网N的任何一个严格极小信标(strict minimal siphon,SMS)或者是基本信标之... 在一类S3PR网柔性制造系统Petri网模型N中,考察两类所处位置特殊的资源。这两类资源分别被定义为第一类和第二类位置特殊资源。随后,证明这些资源不会出现在S3PR网N的任何一个严格极小信标(strict minimal siphon,SMS)或者是基本信标之中,并且任何使用这些资源的操作库所也不会出现在N的任何一个SMS或基本信标之中。结论说明,在柔性制造系统中可能存在一些同系统死锁的发生没有关系的资源。最后,简要介绍这两类特殊资源的应用前景。 展开更多
关键词 柔性制造系统 petri 信标 死锁 资源
下载PDF
资源循环共享的Petri网的形式化设计方法 被引量:3
12
作者 崔亚军 王君英 《计算机学报》 EI CSCD 北大核心 1995年第8期617-625,共9页
资源共享是子Petri网耦合为总网的一种途径,其中对资源循环共享是其重要方式之一.为了研究Petri网的形式化方法,必须首先研究基本子Petri网的设计,而后研究子Petri网的耦合.以往的研究多集中于竞争共享资源的... 资源共享是子Petri网耦合为总网的一种途径,其中对资源循环共享是其重要方式之一.为了研究Petri网的形式化方法,必须首先研究基本子Petri网的设计,而后研究子Petri网的耦合.以往的研究多集中于竞争共享资源的方式上,很少涉及循环共享,本文在以往工作的基础上,提出了资源循环共享的Petri网设计的形式化方法,并给出了两个实例,举例说明了上述形式化设计方法. 展开更多
关键词 petri 形式化设计法 自动制造系统
下载PDF
一类资源共享系统的Petri网最优活性控制
13
作者 张东红 《安康师专学报》 2002年第4期52-55,共4页
在资源共享系统中 ,竞争系统的有限资源会导致系统死锁等不希望事件的发生 ,文中利用辅助弧 ,通过引入资源回路概念来描述系统中的这一竞争过程 ,揭示了一类资源共享系统的资源竞争过程本质特点 ,阐述了资源回路与系统死锁之间的相互关... 在资源共享系统中 ,竞争系统的有限资源会导致系统死锁等不希望事件的发生 ,文中利用辅助弧 ,通过引入资源回路概念来描述系统中的这一竞争过程 ,揭示了一类资源共享系统的资源竞争过程本质特点 ,阐述了资源回路与系统死锁之间的相互关系 ,给出了系统在Petri网模型下死锁存在的必要条件。提出了一种避免系统死锁的最优Petri网控制器设计方法 ,其方法在设计和计算上是有效的 ,几何上是直观的。 展开更多
关键词 petri 最优活性控制 资源共享系统 辅助弧 资源回路 死锁 控制器
下载PDF
基于面向对象技术与有色Petri网的FMS建模 被引量:4
14
作者 艾矫燕 吴振彪 +1 位作者 陈冬珍 杨敏 《湖北工学院学报》 2000年第1期14-17,共4页
在柔性制造系统 (FMS)建模中 ,结合应用面向对象 (OO)技术和有色 Petri网 .提出了该建模方法在FMS中的应用思路和步骤 :运用 (OO)思想将 FMS抽象化、对象化并从整体上规划对象间的信息交流 ,建立系统级信息 Petri网模型 ;在此基础上 ,... 在柔性制造系统 (FMS)建模中 ,结合应用面向对象 (OO)技术和有色 Petri网 .提出了该建模方法在FMS中的应用思路和步骤 :运用 (OO)思想将 FMS抽象化、对象化并从整体上规划对象间的信息交流 ,建立系统级信息 Petri网模型 ;在此基础上 ,建立各个对象内部行为的有色 Petri网模型 . 展开更多
关键词 柔性制造系统 面向对象技术 有色petri FMS
下载PDF
基于Petri网的柔性制造系统混惑检测与控制
15
作者 龙章潮 叶剑虹 宋文 《计算机应用研究》 CSCD 北大核心 2016年第12期3565-3568,3624,共5页
已有的混惑检测算法需要多次遍历Petri网中的所有变迁寻找混惑,比较耗时,不适合应用在复杂的柔性制造系统中。为此提出了一种新的混惑检测算法,根据混惑的基本结构特征,首先排除一些从结构上就不可能构成混惑的库所和变迁;然后在最有可... 已有的混惑检测算法需要多次遍历Petri网中的所有变迁寻找混惑,比较耗时,不适合应用在复杂的柔性制造系统中。为此提出了一种新的混惑检测算法,根据混惑的基本结构特征,首先排除一些从结构上就不可能构成混惑的库所和变迁;然后在最有可能出现混惑的库所和变迁中去寻找混惑,从而降低了检测混惑的时间复杂度;再采用抑止弧对系统中出现的混惑进行了一定的消解控制;最后通过一个柔性制造系统实例验证了所提出的混惑检测算法及控制策略的高效性和正确性。 展开更多
关键词 petri 柔性制造系统 混惑检测 混惑控制 抑止弧
下载PDF
柔性制造系统与Petri网概述 被引量:1
16
作者 桂志波 《系统工程》 CSCD 1996年第3期6-11,共6页
本文概述了(柔性)制造系统及其运行特征,归纳了Petri网的优点;然后,详细介绍Petri网在柔性制造系统的建模、定性分析、性能评估和控制中的应用状况;最后,讨论了柔性制造系统中Petri网应用研究的发展动态。
关键词 petri 柔性制造系统 建模 定性分析
下载PDF
Petri网技术在柔性制造系统控制领域的应用 被引量:1
17
作者 周必水 燕玉光 《杭州电子工业学院学报》 1999年第1期27-31,共5页
Petri网是一种系统描述和分析的工具。近几年来,由于Petri网本身具有的某些优势,使得它在柔性制造系统控制领域的应用越来越广泛。本文将用实例说明将Petri网技术应用于制造系统控制的一些基本技术:如何建立系统的P... Petri网是一种系统描述和分析的工具。近几年来,由于Petri网本身具有的某些优势,使得它在柔性制造系统控制领域的应用越来越广泛。本文将用实例说明将Petri网技术应用于制造系统控制的一些基本技术:如何建立系统的Petri网模型;怎样利用Petri网模型编制出最终的系统控制程序等等。 展开更多
关键词 petri 柔性制造系统 系统控制
下载PDF
应用控制变迁的柔性制造系统死锁控制策略 被引量:2
18
作者 李绍勇 孙智冬 +3 位作者 蔡颖 厚彩琴 韩喜莲 马兵善 《控制理论与应用》 EI CAS CSCD 北大核心 2019年第5期795-802,共8页
不同于目前许多文献中基于添加控制库所的死锁预防策略,本文提出了控制变迁方程(CTE)的概念和相应的基于添加控制变迁(CT)的死锁控制策略(DCP).通过分析存在死锁的原网(N0;M0)的可达图(RG),该DCP 求解出所有死锁标识(DM).基于CTE,构造... 不同于目前许多文献中基于添加控制库所的死锁预防策略,本文提出了控制变迁方程(CTE)的概念和相应的基于添加控制变迁(CT)的死锁控制策略(DCP).通过分析存在死锁的原网(N0;M0)的可达图(RG),该DCP 求解出所有死锁标识(DM).基于CTE,构造出所需的控制变迁.然后,对每个DM添加相应的CT,进而消除了原网(N0;M0)中的死锁标识,得到了活性受控网系统(N*;M*).通过理论分析和相关算例的应用,该DCP的正确性和有效性得到了验证.此外,该DCP获取的活性受控网系统(N*;M*)可达数目与原网(N0;M0)是相同的,即最大可达数(MRN). 展开更多
关键词 柔性制造系统 petri 死锁控制策略 控制变迁 最大可达数
下载PDF
基于变迁覆盖的制造系统死锁控制策略 被引量:2
19
作者 刘慧霞 邢科义 康苗苗 《控制理论与应用》 EI CAS CSCD 北大核心 2013年第4期425-431,共7页
基于系统Petri网模型,研究柔性制造系统的死锁控制问题.论文利用变迁覆盖为系统设计活性控制器.变迁覆盖是由一组极大完备资源变迁回路组成的集合,其变迁集覆盖了Petri网中所有极大完备资源变迁回路的变迁集.验证变迁覆盖的有效性,然后... 基于系统Petri网模型,研究柔性制造系统的死锁控制问题.论文利用变迁覆盖为系统设计活性控制器.变迁覆盖是由一组极大完备资源变迁回路组成的集合,其变迁集覆盖了Petri网中所有极大完备资源变迁回路的变迁集.验证变迁覆盖的有效性,然后仅对有效变迁覆盖中的极大完备资源变迁回路添加控制位置,就得到系统的活性受控Petri网.这种受控Petri网包含的控制位置个数少,从而结构相对简单.最后通过一个例子说明了所提出的死锁控制策略的构成与特点. 展开更多
关键词 柔性制造系统 petri 死锁控制
下载PDF
基于混合法的叶片FMS控制系统研究 被引量:1
20
作者 吴祚宝 吴澄 熊光楞 《控制理论与应用》 EI CAS CSCD 北大核心 1996年第6期763-769,共7页
本文基于Petri网建模的混合法,建立了叶片FMS控制系统活的、安全和可逆的Petri同模型,应用该模型开发了叶片FMS控制系统仿真器,可成功地避免叶片FMS的死锁产生.
关键词 叶片 FMS 控制系统 混合法
下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部