CN111401680B - 具有复杂进程子网的自动制造系统的协同活性构建方法 - Google Patents
具有复杂进程子网的自动制造系统的协同活性构建方法 Download PDFInfo
- Publication number
- CN111401680B CN111401680B CN202010082000.6A CN202010082000A CN111401680B CN 111401680 B CN111401680 B CN 111401680B CN 202010082000 A CN202010082000 A CN 202010082000A CN 111401680 B CN111401680 B CN 111401680B
- Authority
- CN
- China
- Prior art keywords
- wrcn
- library
- network
- resource
- activity
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Active
Links
- 238000000034 method Methods 0.000 title claims abstract description 72
- 230000000694 effects Effects 0.000 title claims abstract description 64
- 238000004519 manufacturing process Methods 0.000 title claims abstract description 59
- 230000008569 process Effects 0.000 title claims abstract description 52
- 238000010276 construction Methods 0.000 title claims abstract description 13
- 230000007704 transition Effects 0.000 claims abstract description 179
- 238000012545 processing Methods 0.000 claims abstract description 22
- 230000015572 biosynthetic process Effects 0.000 claims abstract description 18
- 238000003786 synthesis reaction Methods 0.000 claims abstract description 18
- 230000002079 cooperative effect Effects 0.000 claims abstract description 3
- 238000004590 computer program Methods 0.000 claims description 4
- 125000004122 cyclic group Chemical group 0.000 claims description 3
- 241001181114 Neta Species 0.000 claims 1
- 230000000875 corresponding effect Effects 0.000 description 10
- 238000010586 diagram Methods 0.000 description 9
- 230000005540 biological transmission Effects 0.000 description 6
- 238000013459 approach Methods 0.000 description 4
- 238000004364 calculation method Methods 0.000 description 3
- 239000002131 composite material Substances 0.000 description 3
- 238000011160 research Methods 0.000 description 3
- 230000002441 reversible effect Effects 0.000 description 3
- 101100001678 Emericella variicolor andM gene Proteins 0.000 description 2
- 238000003491 array Methods 0.000 description 2
- 230000006399 behavior Effects 0.000 description 2
- 230000002194 synthesizing effect Effects 0.000 description 2
- NAWXUBYGYWOOIX-SFHVURJKSA-N (2s)-2-[[4-[2-(2,4-diaminoquinazolin-6-yl)ethyl]benzoyl]amino]-4-methylidenepentanedioic acid Chemical compound C1=CC2=NC(N)=NC(N)=C2C=C1CCC1=CC=C(C(=O)N[C@@H](CC(=C)C(O)=O)C(O)=O)C=C1 NAWXUBYGYWOOIX-SFHVURJKSA-N 0.000 description 1
- 238000004458 analytical method Methods 0.000 description 1
- 230000008094 contradictory effect Effects 0.000 description 1
- 230000007547 defect Effects 0.000 description 1
- 238000013461 design Methods 0.000 description 1
- 230000006866 deterioration Effects 0.000 description 1
- 238000011161 development Methods 0.000 description 1
- 238000012986 modification Methods 0.000 description 1
- 230000004048 modification Effects 0.000 description 1
- 238000003012 network analysis Methods 0.000 description 1
- 230000003287 optical effect Effects 0.000 description 1
- 230000002688 persistence Effects 0.000 description 1
- 230000008092 positive effect Effects 0.000 description 1
- 239000002994 raw material Substances 0.000 description 1
- 238000012827 research and development Methods 0.000 description 1
- 239000004065 semiconductor Substances 0.000 description 1
- 230000032258 transport Effects 0.000 description 1
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06Q—INFORMATION AND COMMUNICATION TECHNOLOGY [ICT] SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES, NOT OTHERWISE PROVIDED FOR
- G06Q10/00—Administration; Management
- G06Q10/06—Resources, workflows, human or project management; Enterprise or organisation planning; Enterprise or organisation modelling
- G06Q10/063—Operations research, analysis or management
- G06Q10/0631—Resource planning, allocation, distributing or scheduling for enterprises or organisations
- G06Q10/06315—Needs-based resource requirements planning or analysis
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06N—COMPUTING ARRANGEMENTS BASED ON SPECIFIC COMPUTATIONAL MODELS
- G06N20/00—Machine learning
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06Q—INFORMATION AND COMMUNICATION TECHNOLOGY [ICT] SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES, NOT OTHERWISE PROVIDED FOR
- G06Q50/00—Information and communication technology [ICT] specially adapted for implementation of business processes of specific business sectors, e.g. utilities or tourism
- G06Q50/04—Manufacturing
-
- Y—GENERAL TAGGING OF NEW TECHNOLOGICAL DEVELOPMENTS; GENERAL TAGGING OF CROSS-SECTIONAL TECHNOLOGIES SPANNING OVER SEVERAL SECTIONS OF THE IPC; TECHNICAL SUBJECTS COVERED BY FORMER USPC CROSS-REFERENCE ART COLLECTIONS [XRACs] AND DIGESTS
- Y02—TECHNOLOGIES OR APPLICATIONS FOR MITIGATION OR ADAPTATION AGAINST CLIMATE CHANGE
- Y02P—CLIMATE CHANGE MITIGATION TECHNOLOGIES IN THE PRODUCTION OR PROCESSING OF GOODS
- Y02P90/00—Enabling technologies with a potential contribution to greenhouse gas [GHG] emissions mitigation
- Y02P90/30—Computing systems specially adapted for manufacturing
Landscapes
- Engineering & Computer Science (AREA)
- Business, Economics & Management (AREA)
- Human Resources & Organizations (AREA)
- Theoretical Computer Science (AREA)
- Strategic Management (AREA)
- General Physics & Mathematics (AREA)
- Economics (AREA)
- Physics & Mathematics (AREA)
- Entrepreneurship & Innovation (AREA)
- Marketing (AREA)
- Software Systems (AREA)
- General Business, Economics & Management (AREA)
- Tourism & Hospitality (AREA)
- Game Theory and Decision Science (AREA)
- Computer Vision & Pattern Recognition (AREA)
- Operations Research (AREA)
- Educational Administration (AREA)
- Manufacturing & Machinery (AREA)
- Health & Medical Sciences (AREA)
- General Health & Medical Sciences (AREA)
- Primary Health Care (AREA)
- Artificial Intelligence (AREA)
- Quality & Reliability (AREA)
- Data Mining & Analysis (AREA)
- Evolutionary Computation (AREA)
- Medical Informatics (AREA)
- Development Economics (AREA)
- Computing Systems (AREA)
- General Engineering & Computer Science (AREA)
- Mathematical Physics (AREA)
- Data Exchanges In Wide-Area Networks (AREA)
Abstract
本发明属于自动制造系统技术领域,公开了一种具有复杂进程子网的自动制造系统的协同活性构建方法,PN子网和满足活性的WRCN子网通过共同变迁路径合成;为避免对制造系统的运转产生浪费,一旦开始加工之后,WRCN中资源库所的资源要连续输入;在满足上述条件的前提下,PN子网中工作库所的托肯数和WRCN子网中资源库所的托肯数进一步满足限制规则中的约束。本发明采用Petri网作为数学工具,子网合成之后的结果网一定满足活性,不需要再去找出所有信标来判断结果网是否满足活性,且将适应范围进一步扩展到一般网中。对于大规模的制造系统来说,可以对更复杂的过程行为进行建模,并且节省了大量查找信标的时间。
Description
技术领域
本发明属于自动制造系统技术领域,尤其涉及一种具有复杂进程子网的自动制造系统的协同活性构建方法。
背景技术
目前,最接近的现有技术:大型制造业的不断发展引发了一系列问题,例如消费者的对产品的需求越来越个性化,企业之间的竞争日益剧烈,生活环境的恶化等等,这些都推动着传统制造业向先进制造业的转变。先进制造业正在从以下四个方面进行改进:(1)产品生产模式:逐渐发展为多品种、小批量、单件化、生产周期大幅度缩短等方面。(2)产品质量:在降低产品成本的前提下不断提高产品质量,缩短研发时间。(3)产品种类:在生活环境的不断恶化的当下,研发无污染和无公害的绿色产品,以此来提高企业竞争力。(4)管理生产模式:充分发挥组织管理能力,提高人的创造力,减轻工人体力劳动。
现代制造业生产应用广泛的是柔性制造系统(FMS-FlexibleManufacturingSystem),由工件传送系统和控制系统将一组自动机床和辅助设备,按照工艺顺序联接起来,自动完成产品的全部制造过程。适用于大批量生产,加工精度和生产率较高,占地面积小,能缩短生产周期和降低成本,并保证生产的均衡。不足之处在于,内部结构很复杂,可靠性不好,很难推广。当系统运行时,一旦出现故障,短时间内很难排查问题所在,因此确保自动制造系统的可靠运行非常重要。
对柔性制造系统进行建模,常用的有两种方法。一种是自上而下的方法,在保持所需逻辑特性的同时减少Petri网的规模,最终得到的简化网络分析结果与最初简化之前的网络结果相同。这种方法的主要缺点在于难以找到可还原的子网。另一种自下而上的建模方法通过对子网的特性和其合成时的条件进行限制,使得最终的结果网必然满足重要的系统特性。本发明采用自上而下的方法对独立的子网之间进行建模,合成时满足本专利提出的限制规则,得到一个可以可靠运行的大型网。
综上所述,现有技术存在的问题是:目前的大规模制造系统存在可靠性低。
解决上述技术问题的难度:
1)目前存在的PNWR只适用于普通网,不能应用于一般网。
2)PN子网的结构更加复杂,因此导致合成网满足活性的要求变的复杂。
3)PN子网和WRCN子网合成之后的结果网规模很大,对其查找信标费时费力,而且还要通过计算判断信标是否为空。
解决上述技术问题的意义:
1)本发明不仅适用于普通网,而且能应用于一般网。
2)采用本发明中提出的合成网在自动制造系统中可以对更复杂的过程行为进行建模,例如复杂的资源共享,并行结构,集成装置,拆卸过程。
3)子网合成之后的结果网一定满足活性,不需要再去找出所有信标来判断结果网是否满足活性。对于大规模的制造系统来说,节省了大量查找信标的时间。
发明内容
针对现有技术存在的问题,本发明提供了一种具有复杂进程子网的自动制造系统的协同活性构建方法。
本发明是这样实现的,一种具有复杂进程子网的自动制造系统的协同活性构建方法,所述具有复杂进程子网的自动制造系统的协同活性构建方法包括以下步骤:
第一步,PN子网和满足活性的WRCN子网通过共同变迁路径合成,共同变迁路径中不包括工作库所和资源库所;
第二步,为避免对制造系统的运转产生浪费,一旦开始加工之后,WRCN中资源库所的资源要连续输入;
第三步,PN子网中工作库所的托肯数和WRCN子网中资源库所的托肯数满足如下条件:1)单个PN和多个WRCN合并时,PN中工作库所的托肯数小于与这个PN存在至少两段共同变迁路径的WRCN资源库所中的托肯数。如果这样的WRCN网有多个,那就小于其中最小的托肯数。2)多个WRCN和多个PN合并时,PN中工作库所的托肯数小于与不同PN或者同一个PN存在至少两段共同变迁路径的WRCN资源库所中的托肯数。如果这样的WRCN网有多个,那就小于其中托肯数最小的。
对PNWR的资源限制要求为:
其中的前提条件为:n1>0,n2>0,n3≥w1+w2+1,n4≥w3+1,a>0,b>0。
PNWR由12个资源控制子网和2个过程子网合成;
资源控制网Ga和G9都与两个过程子网存在共同变迁路径,满足:
进一步,所述具有复杂进程子网的自动制造系统的协同活性构建方法还包括:一个过程网G=(P,T,F,M0)如果满足以下三个条件,则是一个满足持久性,保守性,强连接且活的Petri网;具体条件如下:
条件I:G仅包含一个工作库所p0且M0(p0)>0,其余的库所为运行库所p,对于M0(p)=0使得p≠p0;
条件S:从网G中移出资源库所p0得到的网G*是非循环的,G中的每个循环包括p0,而且p0的所有输出变迁都是网G*的源变迁;
强可逆性:在发射规则X下,除了变迁t,其中从任何可达标识M∈R(M0)处通过发射其它变迁都可以回到初始状态M0;
一个PNWR G是一组资源库所添加到过程网中的结果网,每个资源库所prx,prx·和·prx产生的变迁子网Gx满足以下两个条件:
1)M0(prx)≠0且M0(p)=0;
2)prx和Gx还有连接弧组成了一个满足保守性的网,称为一个资源控制网。
进一步,所述具有复杂进程子网的自动制造系统的协同活性构建方法还包括:
(1)信标和陷阱的特性:
在Petri网N=(P,T,F,M)中,当且仅当·Q∈Q·时,非空集合Q称为信标;当且仅当Q·∈·Q时,非空集合Q称为陷阱;当且仅当·Q∈Q·时,Q称为极小信标;
(2)单个PN网和WRCN的合并规则:
合并之前的WRCN子网满足活性;
WRCN和PN之间通过共同变迁路径合并,共同变迁路径中不包括工作库所和资源库所;
开始加工之后,WRCN中资源库所的资源要连续输入;
单个PN和多个WRCN合并时,PN中工作库所的托肯数小于与这个PN存在至少两段共同变迁路径的WRCN资源库所中的托肯数;
PNWR中,PN中工作库所的托肯数a只和WRCN G3中资源库所的托肯数n3存在资源限制关系,与其他WRCN网的资源库所中托肯数没有关系,资源满足:
关系式的前提条件为:n3≥w1+w2,n1>0,n2>0,n4>0,也是WRCN子网在合成之前已经具备的条件;
资源之间的关系式为:
上述关系式的前提条件为:n1≥2,n2≥w1+w2。
(3)多个PN网和WRCN的合并
合并之前的WRCN子网满足活性;
WRCN和PN之间通过共同变迁路径合并,共同变迁路径中不包括工作库所和资源库所;
开始加工之后,WRCN中资源库所的资源要连续输入;
多个WRCN和多个PN合并时,PN中工作库所的托肯数小于与不同PN或者同一个PN存在至少两段共同变迁路径的WRCN资源库所中的托肯数;
当多个PN网和WRCN网满足限制条件合成,且资源之间的限制满足限制,则合成网中信标不会被非充分标识。
本发明的另一目的在于提供一种接收用户输入程序存储介质,所存储的计算机程序使电子设备执行包括下列步骤:
第一步,PN子网和满足活性的WRCN子网通过共同变迁路径合成,共同变迁路径中不包括工作库所和资源库所;
第二步,为避免对制造系统的运转产生浪费,一旦开始加工之后,WRCN中资源库所的资源要连续输入;
第三步,PN子网中工作库所的托肯数和WRCN子网中资源库所的托肯数满足如下条件:1)单个PN和多个WRCN合并时,PN中工作库所的托肯数小于与这个PN存在至少两段共同变迁路径的WRCN资源库所中的托肯数。如果这样的WRCN网有多个,那就小于其中最小的托肯数。2)多个WRCN和多个PN合并时,PN中工作库所的托肯数小于与不同PN或者同一个PN存在至少两段共同变迁路径的WRCN资源库所中的托肯数。如果这样的WRCN网有多个,那就小于其中托肯数最小的。
本发明的另一目的在于提供一种存储在计算机可读介质上的计算机程序产品,包括计算机可读程序,供于电子装置上执行时,提供用户输入接口以实施所述的具有复杂进程子网的自动制造系统的协同活性构建方法。
本发明的另一目的在于提供一种所述具有复杂进程子网的自动制造系统的协同活性构建方法在自动制造系统中的应用。
本发明的另一目的在于提供一种所述具有复杂进程子网的自动制造系统的协同活性构建方法在柔性制造系统中的应用。
综上所述,本发明的优点及积极效果为:本发明采用自上而下的建模方法对过程网(PN-Precess Net)和加权资源控制网(WRCN-Wighted Resource Control Net)的合并建模,只要PN子网和WRCN子网满足一定的特性且符合合成规则的限制条件,那么结果网不进行后验性分析就能满足活性,且适用于一般网的研究。合成之后的结果网称为受加权资源控制的过程网(PNWR-Process Net With Wighted Resource)。本发明提出了PN子网和WRCN子网的合成规则,遵守此规则的合成网必然满足活性。此规则描述为:满足活性的WRCN子网和PN子网,通过连续的共同变迁路径进行合成,PN中工作库所的托肯数小于与PN存在至少两段共同变迁路径的WRCN资源库所中的托肯数。
与现有技术相比,本发明采用Petri网作为数学工具,子网合成之后的结果网一定满足活性,不需要再去找出所有信标来判断结果网是否满足活性。对于大规模的制造系统来说,节省了大量查找信标的时间;子网合成规则不仅适用于普通网的研究,也适用于一般网的研究。合成网在自动制造系统中可以对更复杂的过程行为进行建模,例如复杂的资源共享,并行结构,集成装置,拆卸过程。本发明提出一种复杂的子系统合成模型,使得合成之后的总系统能够可靠地独立运行,合成规则适用于多资源大型加工制造系统。
附图说明
图1是本发明实施例提供的具有复杂进程子网的自动制造系统的协同活性构建方法流程图。
图2是本发明实施例提供的WRCN和PN之间通过共同变迁路径合并示意图;
图中:(a)为一个过程网;(b)和(c)为资源控制网。
图3是本发明实施例提供的限制3PNWR网模型示意图。
图4是本发明实施例提供的关系图。
图5是本发明实施例提供的PNWR网模型示意图。
图6是本发明实施例提供的两个PN网示意图。
图7是本发明实施例提供的四个WRCN网示意图。
图8是本发明实施例提供的实施例1T-半流网示意图。
图9是本发明实施例提供的PNWR模型示意图。
图10是本发明实施例提供的实施例2T-半流网示意图。
具体实施方式
为了使本发明的目的、技术方案及优点更加清楚明白,以下结合实施例,对本发明进行进一步详细说明。应当理解,此处所描述的具体实施例仅仅用以解释本发明,并不用于限定本发明。
针对现有技术存在的问题,本发明提供了一种具有复杂进程子网的自动制造系统的协同活性构建方法,下面结合附图对本发明作详细的描述。
如图1所示,本发明实施例提供的具有复杂进程子网的自动制造系统的协同活性构建方法包括以下步骤:
S101:PN子网和满足活性的WRCN子网通过共同变迁路径合成,共同变迁路径中不包括工作库所和资源库所;
S102:为避免对制造系统的运转产生浪费,一旦开始加工之后,WRCN中资源库所的资源要连续输入;
S103:PN子网中工作库所的托肯数和WRCN子网中资源库所的托肯数满足如下条件:1)单个PN和多个WRCN合并时,PN中工作库所的托肯数小于与这个PN存在至少两段共同变迁路径的WRCN资源库所中的托肯数。如果这样的WRCN网有多个,那就小于其中最小的托肯数。2)多个WRCN和多个PN合并时,PN中工作库所的托肯数小于与不同PN或者同一个PN存在至少两段共同变迁路径的WRCN资源库所中的托肯数。如果这样的WRCN网有多个,那就小于其中托肯数最小的。
下面结合附图对本发明的技术方案作进一步的描述。
定义1:一个过程网G=(P,T,F,M0)如果满足以下三个条件,则是一个满足持久性,保守性,强连接且活的Petri网。具体条件如下:
条件I:G仅包含一个工作库所p0且M0(p0)>0,其余的库所为运行库所p,对于M0(p)=0使得p≠p0。
条件S:从网G中移出资源库所p0得到的网G*是非循环的,G中的每个循环包括p0,而且p0的所有输出变迁都是网G*的源变迁。
强可逆性:在发射规则X下,除了变迁t,其中从任何可达标识M∈R(M0)处通过发射其它变迁都可以回到初始状态M0。
定义2:一个PNWR G是一组资源库所添加到过程网中的结果网,每个资源库所prx,prx·和·prx产生的变迁子网Gx满足以下两个条件:
1)M0(prx)≠0且M0(p)=0;
2)prx和Gx还有连接弧组成了一个满足保守性的网,称为一个资源控制网。
普通Petri网指的是资源库所的输入变迁和输出变迁的弧权值为1的网。一般Petri网的资源库所的输入变迁和输出变迁弧权值可以大于等于1。在多资源Petri网中,通过探索不完全标记信标的特性,得到合成网的强可逆性和活性。
(1)信标和陷阱的特性:
定义3:在Petri网N=(P,T,F,M)中,当且仅当·Q∈Q·时,非空集合Q称为信标。当且仅当Q·∈·Q时,非空集合Q称为陷阱。一个信标(陷阱)不包含任何其它信标(陷阱)时称为极小信标(陷阱)。当且仅当·Q∈Q·时,Q称为极小信标。
信标和陷阱有如下的特性:
特性1:在初始状态时,不含托肯的信标Q在后面的可达状态也不含托肯。和信标Q中的库所相连接的变迁都不能发射;在初始状态被标记的陷阱,在后面可达的任何状态都是被标记的;在没有任何变迁可以发射的标识处,未完全标记的库所可以形成一个信标。
特性2:在一个Petri网中,如果最小信标最终都不清空,则这个网不会出现死锁状态。
特性3:在一个Petri网中,如果信标Q包含一个陷阱或者α(Q)>0,则不会被清空,其中α(Q)=min{M(Q)|M=M0+CY,M≥0,Y≥0}。
(2)单个PN网和WRCN的合并规则:
限制1:合并之前的WRCN子网满足活性。
当多个WRCN子网与PN子网合并时,如果存在一个不满足活性的WRCN子网使得变迁不能发射,合并时也不会再引入相同类型的资源触发该变迁发射。因此为了确保PNWR的活性,合并之前的WRCN子网都要满足活性。
限制2:WRCN和PN之间通过共同变迁路径合并,共同变迁路径中不包括工作库所和资源库所。
子网之间的合并途径有三种:通过共同库所合并,通过共同变迁合并,通过共同变迁路径合并。但是根据PNWR的定义:PNWR是一组资源库所添加到过程网中的结果,因此WRCN只能通过共同变迁路径和PN合并,并且共同变迁路径是WRCN网除去资源库所和资源库所所有输出输入弧的路径。如图2(a)和图2(b)中的共同变迁路径为t2p2t3,图2(a)和图2(c)中的共同变迁路径为t7p6t6和t4p4t5。
限制3:为避免对制造系统的运转产生浪费,一旦开始加工之后,WRCN中资源库所的资源要连续输入。
如图3(a)所示PNWR,系统首先将原材料运输到p1或p7中,然后有两条加工路径可选择。如果接下来选择加工路径pst2p2t3p9t4,资源n1和n2先后参与零件的加工,并分别将加工完成的产品送回初始位置;如果选择加工路径p7t8p6t7p5t6p4t5,资源n3和n4先后参与加工,然后资源n3再次参与产品的加工,最后返回到初始位置。
限制4:单个PN和多个WRCN合并时,PN中工作库所的托肯数小于与这个PN存在至少两段共同变迁路径的WRCN资源库所中的托肯数。如果这样的WRCN网有多个,那就小于其中最小的托肯数。
如图3(a)所示的PNWR中,PN中工作库所的托肯数a只和WRCN G3中资源库所的托肯数n3存在资源限制关系,与其他WRCN网的资源库所中托肯数没有关系。因此3(a)中的资源满足:
上述关系式的前提条件为:n3≥w1+w2,n1>0,n2>0,n4>0,这也是WRCN子网在合成之前已经具备的条件。
图3(b)中资源之间的关系式为:
上述关系式的前提条件为:n1≥2,n2≥w1+w2。
定理1:当一个PN网和多个WRCN网满足限制条件1、限制条件2、限制条件3合成,且资源之间的限制满足限制4,则合成网中的信标不会被非充分标识。
证明:本发明的最小信标实际为最小严格信标。限制3使得在PNWR网中存在包含资源库所的最小信标。
在PNWR中,任何信标至少包含一个工作库所或者资源库所。根据信标中包含的库所类别,将PNWR中的信标划分为三类:
1){p01,p1,p2,…,pn};
2){pr1,pr2,…,prn,p1,p2,…,pn};
3){p01,pr1,pr2,…,prn,p1,p2,…,pn};
其中p01称为工作库所,pn为运行库所,prn为资源库所。
对于信标Q,根据状态方程M0=M+CY,存在M(P)=0,M(P)≥0,/>
对于情况1),最小信标中的库所不包含资源库所,因此全为PN中的库所。PN是强可逆的,因此所有信标不清空。
对于情况2),根据状态方程存在:
在信标中的资源库所和运行库所,存在等式。首先最小信标中必然包含和PN存在至少两条变迁路径的WRCN中的资源库所。假设在某个PNWR中存在WRCN子网G1和WRCN子网G2。
资源库所和运行库所的等式:
运行库所,资源库所,工作库所的不等式:
其中yQr1n和y′Qr11表示信标中资源库所的输入变迁状态;yQr2n和y′Qr2n表示信标中资源库所的输出变迁状态;yQ1n和y′Q1n表示信标中运行库所的输入变迁状态;yQ2n和y′Q21表示信标中运行库所的输出变迁状态;y1n和y′1n表示不在信标中的运行库所的输入变迁状态;y2n和y′2n表示不在信标中运行库所的输出变迁状态;ya1n表示不在信标中的工作库所的输入变迁状态;ya2n表示不在信标中的工作库所的输出变迁状态。n1和n2为与PN存在至少两条变迁路径的WRCN中的资源;wn和w′n分别为n1和n2的弧权值;n3和n4为只与PN存在一条变迁路径的WRCN中的资源。
等式中所有的式子相加得到: 和D对应而言,/>为输入变迁状态,D为输出变迁状态,wa≤max{w1,w2,…,wn},wb≤max{′w1,w′2,…,w′n}。
对于工作库所的不等式中的ya11+ya12+…+ya1n-ya21-ya22-…-ya2n+a≤0,设ya11+ya12+…+ya1n为A,ya21+ya22+…+ya2n为 和A对应而言,/>为输入变迁状态,A为输出变迁状态。
得到
根据PNWR的结构,A,/>D之间的关系表示如图4:
为PNWR系统开始运行的第一个变迁状态,A为PNWR系统结束运行的最后一个变迁状态。/>相对于/>D,A为输入变迁状态;/>相对于D和A为输入变迁状态;D相对于A为输入变迁状态;A相对于/> D为输出变迁状态;D相对于/>和/>为输出变迁状态;/>相对于/>为输出变迁状态。
不等式中的运行库所相比于y2n,y1n为输入变迁状态,y2n为输出变迁状态,可以局部当作输入变迁状态≤输出变迁状态。等式中的运行库所变迁状态之间是对等的关系。
资源库所的不等式通过推导得到n3>0且n4>0。
对于
①和②的运算为“=”或者“≤”。
最终得到:
最后化简为:
最小信标中可能会存在更多的资源库所或者或者/>但是只要满足就能满足任意一种情况。
对于情况3),根据状态方程存在:
在信标中的资源库所,运行库所和工作库所,存在等式。资源库所,运行库所和工作库所的等式:
运行库所和资源库所的不等式:
其中yQr1n和y′Qr1n表示信标中资源库所的输入变迁状态;yQr2n和y′Qr2n表示信标中资源库所的输出变迁状态;yQ1n和y′Q1n表示信标中运行库所的输入变迁状态;yQ2n和y′Q2n表示信标中运行库所的输出变迁状态;yQa1n表示信标中的工作库所的输入变迁状态;yQa2n表示信标中的工作库所的输出变迁状态。y1n和y′1n表示不在信标中的运行库所的输入变迁状态;y2n和y′2n表示不在信标中运行库所的输出变迁状态。n1和n2为与PN存在至少两条变迁路径的WRCN中的资源;wn和w′n分别为n1和n2的弧权值;n3和n4为只与PN存在一条变迁路径的WRCN中的资源。
等式中所有的式子相加得到: 和D对比而言,/>为输入变迁状态,D为输出变迁状态,wa≤max{w1,w2,…,wn},wb≤max{w′1,w′2,…,w′n}。
等式中关于工作库所的式子:ya11+ya12+…+ya1n-ya21-ya22-…-ya2n+a≤0,设ya11+ya12+…+ya1n为A,ya21+ya22+…+ya2n为得到/>
不等式中的运行库所相比于y2n,y1n为输入变迁状态,y2n为输出变迁状态,可以局部当作输入变迁状态≤输出变迁状态。等式中的运行库所变迁状态之间是对等的关系。
资源库所的不等式通过推导得到n3>0且n4>0。
根据PNWR的结构,A,/>D之间的关系如图4所示:
对于
①和②的运算为“=”或者“≤”。
得到
最终为:
根据WRCN子网在合并之前的前提条件,上述式子中的条件一定满足,因此对于情况3)中资源库所中的托肯和工作库所中的托肯之间没有互相限制条件。
由此得到只有情况2)中的资源之间满足限制条件时,不存在被清空的信标。
所以判断PNWR合成之后是否存在被清空的信标,就是去判断PN中工作库所的资源数和与PN至少存在两段共同变迁路径的WRCN资源数之间的大小约束。
(3)多个PN网和WRCN的合并
单个PN和WRCN的合并,但在现实中的大型工业制造系统往往是多个PN网参与加工,以此可以完成更复杂的加工生产。每个过程网都满足持续性、保守性而且是强连接的。拥有活性的Petri网除了有以上三个过程网的特性,还具有强可逆性。对于PNWR网,满足强可逆的充分条件也是满足可逆性的充分条件。如图5所示的PNWR是将图7中WRCN和图6中的PN合并得到的。
限制5:多个PN子网和多个WRCN子网合并时,PN中工作库所的托肯数小于与不同PN或者同一个PN存在至少两段共同变迁路径的WRCN资源库所中的托肯数。如果这样的WRCN网有多个,那就小于其中托肯数最小的。
定理2:当多个PN子网和多个WRCN子网满足限制条件1、2、3合成,且资源之间的限制满足限制5,则合成网中信标不会被非充分标识。
证明:本发明的最小信标实际为最小严格信标。限制条件3使得在WRCN网中存在包含资源库所的最小信标。
根据信标中包含的库所类别,将PNWR中的信标划分为三类:
1){p01,p1,p2,…,pn}
2){pr1,pr2,…,prn,p1,p2,…,pn}
3){p01,pr1,pr2,…,prn,p1,p2,…,pn}
其中p01称为工作库所,pn为运行库所,prn为资源库所。
对于信标Q,根据状态方程M0=M+CY,存在M(P)=0,M(P)≥0,/>
对于情况1),最小信标中的库所不包含资源库所,因此全为PN中的库所。PN是强可逆的,因此所有信标不清空。
对于情况2),根据状态方程存在:
在信标中的资源库所和运行库所,存在等式。首先最小信标中必然包含和PN存在至少两条变迁路径的WRCN中的资源库所。假设在某个PNWR中存在WRCN1和WRCN2。
资源库所和运行库所的等式:
运行库所,资源库所,工作库所的不等式:
其中yQr1n和y′Qr1n表示信标中资源库所的输入变迁状态;yQr2n和y′Qr2n表示信标中资源库所的输出变迁状态;yQ1n和y′Q1n表示信标中运行库所的输入变迁状态;yQ2n和y′Q2n表示信标中资源库所的输出变迁状态;y1n和y′1n表示不在信标中的运行库所的输入变迁状态;y2n和y′2n表示不在信标中运行库所的输出变迁状态;ya1n表示不在信标中的工作库所的输入变迁状态;ya2n表示不在信标中的工作库所的输出变迁状态。n1和n2为与PN存在至少两条变迁路径的WRCN中的资源;wn和w′n分别为n1和n2的弧权值;n3和n4为只与PN存在一条变迁路径的WRCN中的资源。
等式中所有的式子相加得到: 和D对应而言,/>为输入变迁状态,D为输出变迁状态,wa≤max{w1,w2,…,wn},wb≤max{w′1,w′2,…,w′n}。
对于不等式中关于工作库所的所有式子相加得到 和A对应而言,/>为输入变迁状态,A为输出变迁状态。
不等式中的运行库所相比于y2n,y1n为输入变迁状态,y2n为输出变迁状态,可以局部当作输入变迁状态≤输出变迁状态。等式中的运行库所变迁状态之间是对等的关系。
资源库所的不等式通过推导得到n3>0且n4>0。
根据PNWR的结构,A,/>D之间的关系如图4所示:
对于
①和②的运算为“=”或者“≤”。
最终得到:
化简得到:
最小信标中可能会存在更多的资源库所或者或者/>
但是只要满足,就能满足任意一种情况。
对于情况3),根据状态方程存在:
在信标中的资源库所,运行库所和工作库所,存在等式。资源库所,运行库所和工作库所的等式:
运行库所和资源库所的不等式:
其中yQr1n和y′Qr1n表示信标中资源库所的输入变迁状态;yQr2n和y′Qr2n表示信标中资源库所的输出变迁状态;yQ1n和y′Q1n表示信标中运行库所的输入变迁状态;yQ2n和y′Q2n表示信标中资源库所的输出变迁状态;yQa1n表示信标中的工作库所的输入变迁状态;yQa2n表示信标中的工作库所的输出变迁状态。y1n和y′1n表示不在信标中的运行库所的输入变迁状态;y2n和y′2n表示不在信标中运行库所的输出变迁状态。n1和n2为与PN存在至少两条变迁路径的WRCN中的资源;wn和w′n分别为n1和n2的弧权值;n3和n4为只与PN存在一条变迁路径的WRCN中的资源。
等式中所有的式子相加得到: 和D对应而言,/>为输入变迁状态,D为输出变迁状态,wa≤max{w1,w2,…,wn},wb≤max{w′1,w′2,…,w′n}。
等式中关于工作库所的式子相加得到: 和A对应而言,/>为输入变迁状态,A为输出变迁状态。
不等式中的运行库所相比于y2n,y1n为输入变迁状态,y2n为输出变迁状态,可以局部当作输入变迁状态≤输出变迁状态。等式中的运行库所变迁状态之间是对等的关系。
资源库所的不等式通过推导得到n3>0且n4>0。
根据PNWR的结构,A,/>D之间的关系如图4所示。
对于/>
①和②的运算为“=”或者“≤”。
得到
最终为:
根据WRCN子网在合并之前的前提条件,上述式子中的条件一定满足,因此对于情况3)中资源库所中的托肯和工作库所中的托肯之间没有互相限制条件。
由此得到只有情况2)中的资源之间满足限制条件时,不存在被清空的信标。所以判断PNWR合成之后是否存在被清空的信标,就是去判断PN中工作库所的资源数和与不同PN或者同一个PN至少存在两段共同变迁路径的WRCN资源数之间的大小约束。
例:图5中的PNWR,图7(c)中的WRCN和图6中的PN存在两段加工路径,且图7(d)中的WRCN和图6中的PN也存在两段加工路径。因此资源之间应该满足:
其中的前提条件为:n1>0,n2>0,n3≥w1+w2+1,n4≥w3+1,a>0,b>0,。
(3)PNWR网的特性
(3.1)强可逆性
定义4:一个PNWR网G在发射规则X下,阻止了变迁t的发射,其中 PJ是所有的工作库所集,如果从任意可达状态标识M∈R(M0)都可以返回到初始状态M0,那么这个网G是可逆的。
定理3:PN和WRCN在满足限制条件1、2、3的情况下,如果结果网中不包含满足如下要求的信标,则具有强可逆性。具体要求为:
M(p)<M0(p)
且/>
证明:首先证明必要性。PNWR在满足限制条件1,2,3下合成,假设在可达标识M≠M0下存在一个信标Q满足条件SR。从强可逆知存在一个不包含任意工作库所的输出变迁σ,使得M[σ>M0。假设存在其中/> 且 也就是从网G标识M处移除所有在Q∩PJ中的托肯得到/>因此/>另一方面,在PNWR中,虽然WRCN中资源库所的输出弧和输入弧存在多弧权,但是WRCN在合并之前满足活性,因此触发变迁时,资源库所可以提供足够发射变迁的资源。在/>处通过发射变迁序列σ到达标识/>使得/> 且对于所有的资源库所prx,/>/>
根据定理:PNWR的信标中至少包含一个工作库所或者资源库所,得到 和/>相矛盾,因为不含托肯的信标Q在后面的其它状态也不含托肯。因此PNWR满足强可逆性时不包含满足SR条件的信标。
充分性:从任意标识M1处,在发射规则X下产生一个死锁状态M,在M1处除了工作库所的输出变迁外,没有任何变迁可以发射。
假设M≠M0,将工作库所分为两个集合:和/>其中M(p)<M0(p),/>且M(p)=M0(p),/>很明显,/>从网G中移出所有属于/>的过程网,得到网 且/> 且通过定义得到网/>是完全死锁的。从信标的特性:在没有任何变迁可以发射的标识处,未完全标记的库所可以形成一个信标。可知,/>中未标记库所的集合/>是/>中一个未标记的信标。每个资源库所/>添加所有同时属于资源网Grx和/>过程网的库所,得到的集合定义为Q。因为资源网和过程网之间通过共同变迁路径进行合并,因此Q中的一个新库所的任意输入变迁t是Q中另一个新库所或者/>中一个资源库所prx的输出变迁。因此,Q是网G的一个信标。对于/>M(p)=M0(p),资源网中不包含工作库所且其中的库所中都不含托肯,因此Q中的所有库所在M处是未标记的。Q满足SR条件,因此假设M≠M0不成立。而且根据Petri网的资源守恒定律,/>的状态只能出现在PNWR的初始状态M0。所以,不含有满足SR条件信标的PNWR网拥有强可逆性。
定理4:PN和WRCN在满足限制条件1、2、3、4或者5下合成,则结果网具有强可逆性。
(3.2)PNWR的活性
当合成网中每个变迁都有发射的可能性,则合成网拥有活性。给定一个PNWR网G,对于WRCN在合成之前已经满足了活性,其中的每个变迁都是可以发射的,而且结构相对单一,相比于WRCN,PN的结构更加复杂,我们只需要去挨个检查过程网中每个变迁潜在的发射性。
通过计算一个过程网中所有的最小T-不变量,然后分别添加每个最小T-不变量中变迁产生的资源库所得到T-半流网。
特性4:如果一个T-半流网不包含未完全标记的信标,则满足活性。
定理5:在PNWR网G中的某一变迁t,如果存在包含此变迁t的一个T-半流网且/>中不包含未完全标记的信标,则这个变迁t有发射的可能性。
PNWR网在满足限制规则4或者5合成后,在M0处也不包含未完全标记的信标。根据特性4得到,/>中不包含未完全标记的信标时,满足活性。/>中的每个变迁都包含了其所有的输入库所和输出库所,因此如果以上条件成立时,变迁t存在发射的可能性。
定理6:PN和WRCN在满足限制条件1、2、3、4或者5的情况下,则合成网满足活性。
根据定理5,求出PN中的最小T-不变量,然后分别添加每个最小T-不变量中变迁产生的资源库所得到T-半流网。其实每个T-半流网就是一个PN网和一个或者多个WRCN通过共同变迁路径合成的PNWR网。根据描述,再结合定理1和2得到,结果网中的工作库所和资源库所满足限制规则4或者限制规则5时,已经拥有了活性。
定理7:PN和WRCN在满足限制条件1、2、3、4或者限制条件5的情况下,则合成网同时满足强可逆性和活性。
下面结合具体实施例对本发的技术方案作进一步的描述。
实施例1
图5中的PNWR有三个最小的T-不变量,分别为:{t1,t2,t3,t4,t8},{t1,t2,t5,t6,t7,t8},{t9,t10,t11}。如图8所示的为它们分别对应的的三个T-半流网。
首先使用本发明中提出的限制规则计算,再用查找信标的方法进行计算,最后进行对比。
PN子网和WRCN子网在满足规则1、2、3下合成,用规则4和规则5进行计算:
运用本发明中提出的规则得到:图8(a),图8(b),图8(c)都可以看作是单个PN和多个WRCN合成的PNWR,根据规则4得到信标不清空的条件为:
根据定理6得到,此时图8中所有网的变迁都是有发射的可能性,拥有活性。
规则5对PNWR的资源限制要求为:
其中的前提条件为:n1>0,n2>0,n3≥w1+w2+1,n4≥w3+1,a>0,b>0。因此满足式(5)时,根据定理4得到,PNWR满足强可逆性。
在先满足强可逆性的资源之间限制条件的前提下,PNWR已经满足了活性的资源要求。因此利用规则合成的PNWR同时满足强可逆性和活性时,资源限制为式(5)所示。
接下来,根据定理3和定理5,先查找合成之后的结果网中的严格极小信标,计算使信标不清空的条件,然后查找其对应的T-半流网中信标并判断不清空的条件。
查找PNWR结果网中的信标,存在两个严格极小信标,分别为:①{pr3,pr4,p4,p6,p9},②{pr3,pr4,p1,p2,p4,p9},根据状态方程M0=M+CY,存在M(P)=0,M(P)≥0,存在如下的结果:
①{pr3,pr4,p4,p6,p9}
得到等式:y6=y5,y8=y3+y7,y11=y10,y7=y5+n4,对最后两个公式进行替换,然后经过数学运算得到结果网中最小信标不被清空的条件为:
②{pr3,pr4,p1,p2,p4,p9}
得到等式:y1=y2,y2=y3+y6,y6=y5,y10=y11,y8=y2+n4,对最后两个公式进行替换,然后经过数学运算得到结果网中最小信标不被清空的条件为:
然后PNWR结果网对应的查找T-半流网中的信标,T-半流网(b)存在一个严格极小信标,为{pr3,pr4,p4}。根据状态方程得到等式:y6=y5,y8=y5+n4,对最后一个公式进行替换,然后经过数学运算得到结果网中最小信标不被清空的条件为:
因此PNWR同时满足可逆性和活性时,资源之间的限制为:
通过式(5)和式(9)对比发现,式(5)在式(9)范围内,因此使用限制规则4和限制规则5得到的结果是正确的,而且明显的比查找最小信标再计算的结果更容易得到。因此PN和WRCN在满足限制规则1、2、3、4或5合成时,就同时满足了强可逆性和活性。也就是定理7所示的。
实施例2
求如图9所示的PNWR G满足强可逆性和活性的条件。通过资源库所和工作库所的个数得到,此PNWR是由12个资源控制子网和2个过程子网合成。所有的WRCN都满足活性,所有的PN都满足强可逆性。通过共同变迁路径合成,且符合限制规则3,接下来利用限制规则4和限制规则5得到如下的结果:
资源控制网G8和G9都与两个过程子网存在共同变迁路径,因此应该满足:
满足上式时,根据定理7得到,此网不仅满足了强可逆性还满足了活性。我们也可以进一步进行验证。通过计算,发现上述图10中的T-半流网中严格极小信标不为空时,资源之间应该满足:
在满足强可逆性资源限制要求时,上述的不等式(11)已经成立。因此利用规则和成的PNWR同时满足强可逆性和活性时,资源之间的限制条件为式(10)。
接下来,先查找合成之后的结果网中的严格极小信标,计算使信标不清空的条件,然后查找T-半流网中信标并判断不清空的条件。
根据定理3和定理5,先查找合成之后的结果网中的严格极小信标,计算使信标不清空的条件,然后查找其对应的T-半流网中信标并判断不清空的条件。
先查找PNWR结果网中的信标,存在两个严格极小信标,分别为:
①{p6,p11,p16,p28,p29}
②{p01,p1,p3,p5,p7,p10,p11,p13,p13,p16,p26,p27,p28,p29},根据状态方程M0=M+CY,存在M(P)=0,M(P)≥0,/>存在如下的结果:/>
①{p6,p11,p16,p28,p29}
得到等式:y10=y12,y5=y7+y8,y10=y12,对最后两个公式进行替换,然后经过数学运算得到结果网中最小信标不被清空的条件为:
②{p01,p1,p3,p5,p7,p10,p11,p13,p13,p16,p26,p27,p28,p29}
这个极小信标总是不会被清空的。
然后查找PNWR结果网对应的T-半流网中的信标,存在两个严格极小信标,为①{p11,p25,p28,p29},②{p01,p1,p3,p5,p11,p28,p29}。根据状态方程得到如下的结果:
①{p11,p25,p28,p29}
得到等式:y10=y12,y7=y10+n5,y5=y7+n9,对最后两个公式进行替换,然后经过数学运算得到结果网中最小信标不被清空的条件为:
②{p01,p1,p3,p5,p11,p28,p29}
这个极小信标总是不会被清空的。
因此PNWR同时满足可逆性和活性时,资源之间的限制为:
通过对比式(10)和式(14)对比发现,式(10)在式(14)范围内,因此使用限制规则4和限制规则5得到的结果是正确的,而且明显的比查找最小信标再计算的结果更容易得到。因此PN和WRCN在满足限制规则1、2、3、4或5合成时,就同时满足了强可逆性和活性。
应当注意,本发明的实施方式可以通过硬件、软件或者软件和硬件的结合来实现。硬件部分可以利用专用逻辑来实现;软件部分可以存储在存储器中,由适当的指令执行系统,例如微处理器或者专用设计硬件来执行。本领域的普通技术人员可以理解上述的设备和方法可以使用计算机可执行指令和/或包含在处理器控制代码中来实现,例如在诸如磁盘、CD或DVD-ROM的载体介质、诸如只读存储器(固件)的可编程的存储器或者诸如光学或电子信号载体的数据载体上提供了这样的代码。本发明的设备及其模块可以由诸如超大规模集成电路或门阵列、诸如逻辑芯片、晶体管等的半导体、或者诸如现场可编程门阵列、可编程逻辑设备等的可编程硬件设备的硬件电路实现,也可以用由各种类型的处理器执行的软件实现,也可以由上述硬件电路和软件的结合例如固件来实现。
以上所述仅为本发明的较佳实施例而已,并不用以限制本发明,凡在本发明的精神和原则之内所作的任何修改、等同替换和改进等,均应包含在本发明的保护范围之内。
Claims (6)
1.一种具有复杂进程子网的自动制造系统的协同活性构建方法,其特征在于,所述具有复杂进程子网的自动制造系统的协同活性构建方法包括以下步骤:
第一步,PN子网和满足活性的WRCN子网通过共同变迁路径合成,共同变迁路径中不包括工作库所和资源库所;
第二步,开始加工,WRCN中资源库所的资源要连续输入;
第三步,PN子网中工作库所的托肯数和WRCN子网中资源库所的托肯数满足如下条件:1)单个PN和多个WRCN合并时,PN中工作库所的托肯数小于与这个PN存在至少两段共同变迁路径的WRCN资源库所中的托肯数;如果这样的WRCN网有多个,那就小于其中最小的托肯数;2)多个WRCN和多个PN合并时,PN中工作库所的托肯数小于与不同PN或者同一个PN存在至少两段共同变迁路径的WRCN资源库所中的托肯数;如果这样的WRCN网有多个,那就小于其中托肯数最小的;
所述具有复杂进程子网的自动制造系统的协同活性构建方法的第三步对PNWR的资源限制要求为:
,
其中的前提条件为:,/>,/>,/>,/>,;/>和/>为与PN存在至少两条变迁路径的WRCN中的资源;n3和n4为只与PN存在一条变迁路径的WRCN中的资源;a和b代表具体的资源数大小;w1,w2,w3代表弧权值;
所述具有复杂进程子网的自动制造系统的协同活性构建方法还包括:PNWR由12个资源控制子网和2个过程子网合成;
资源控制网G8和G9都与两个过程子网存在共同变迁路径,资源应该满足:
;
所述具有复杂进程子网的自动制造系统的协同活性构建方法还包括:一个过程网如果满足以下三个条件,则是一个满足持久性,保守性,强连接且活的Petri网;具体条件如下:
条件I:G仅包含一个工作库所且/>,其余的库所为运行库所/>,对于,/>使得/>;
条件S:从网G中移出资源库所得到的网/>是非循环的,G中的每个循环包括/>,而且的所有输出变迁都是网/>的源变迁;
强可逆性:在发射规则X下,除了变迁t,其中,从任何可达标识/>处通过发射其它变迁都可以回到初始状态/>;
一个PNWR G是一组资源库所添加到过程网中的结果网,每个资源库所,/>和/>产生的变迁子网/>满足以下两个条件:
1)且/>,/>;
2)和/>还有连接弧组成了一个满足保守性的网,称为一个资源控制网;
其中,P表示所有库所,T所有变迁,F表示有向弧,M0表示资源的初始位置;p:任意某个库所;p0是初始库所,prx:包含了资源的库所,Gx:prx前的变迁和prx后的变迁构成的子网。
2.如权利要求1所述的具有复杂进程子网的自动制造系统的协同活性构建方法,其特征在于,所述具有复杂进程子网的自动制造系统的协同活性构建方法还包括:
(1)信标和陷阱的特性:
在Petri网N=(P,T,F,M)中, ,当且仅当/>时,非空集合/>称为信标;当且仅当/>时,非空集合/>称为陷阱;当且仅当/>时,/>称为极小信标;
(2)单个PN网和WRCN的合并规则:
合并之前的WRCN子网满足活性;WRCN和PN之间通过共同变迁路径合并,共同变迁路径中不包括工作库所和资源库所;开始加工之后,WRCN中资源库所的资源要连续输入;单个PN和多个WRCN合并时,PN中工作库所的托肯数小于与这个PN存在至少两段共同变迁路径的WRCN资源库所中的托肯数;
PNWR中,PN中工作库所的托肯数a只和WRCN中资源库所的托肯数/>存在资源限制关系,与其他WRCN网的资源库所中托肯数没有关系,资源满足:
;
关系式的前提条件为:,也是WRCN子网在合成之前已经具备的条件;
资源之间的关系式为:;
上述关系式的前提条件为:;
(3)多个PN网和WRCN的合并
合并之前的WRCN子网满足活性;WRCN和PN之间通过共同变迁路径合并,共同变迁路径中不包括工作库所和资源库所;开始加工之后,WRCN中资源库所的资源要连续输入;多个WRCN和多个PN合并时,PN中工作库所的托肯数小于与不同PN或者同一个PN存在至少两段共同变迁路径的WRCN资源库所中的托肯数;当多个PN网和WRCN网满足限制条件合成,且资源之间的限制满足限制,则合成网中信标不会被非充分标识。
3.一种接收用户输入程序存储介质,其特征在于,所存储的计算机程序使电子设备执行如权利要求1~2任意一项所述的具有复杂进程子网的自动制造系统的协同活性构建方法的步骤。
4.一种存储在计算机可读介质上的计算机程序产品,其特征在于,包括计算机可读程序,供于电子装置上执行时,提供用户输入接口以实施如权利要求1~2任意一项所述的具有复杂进程子网的自动制造系统的协同活性构建方法。
5.一种如权利要求1~2任意一项所述具有复杂进程子网的自动制造系统的协同活性构建方法在自动制造系统中的应用。
6.一种如权利要求1~2任意一项所述具有复杂进程子网的自动制造系统的协同活性构建方法在柔性制造系统中的应用。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN202010082000.6A CN111401680B (zh) | 2020-02-06 | 2020-02-06 | 具有复杂进程子网的自动制造系统的协同活性构建方法 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN202010082000.6A CN111401680B (zh) | 2020-02-06 | 2020-02-06 | 具有复杂进程子网的自动制造系统的协同活性构建方法 |
Publications (2)
Publication Number | Publication Date |
---|---|
CN111401680A CN111401680A (zh) | 2020-07-10 |
CN111401680B true CN111401680B (zh) | 2024-01-30 |
Family
ID=71428401
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN202010082000.6A Active CN111401680B (zh) | 2020-02-06 | 2020-02-06 | 具有复杂进程子网的自动制造系统的协同活性构建方法 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN111401680B (zh) |
Citations (18)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH09231282A (ja) * | 1996-02-23 | 1997-09-05 | Hitachi Ltd | 緊急時ネットワーク運用方法 |
CN102393922A (zh) * | 2011-06-23 | 2012-03-28 | 山西省电力公司晋中供电分公司 | 变电站智能报警专家系统的模糊Petri推理方法 |
CN104156262A (zh) * | 2014-08-08 | 2014-11-19 | 浙江工商大学 | 一种基于Petri网MIP法的并发程序死锁检测方法 |
CN104679945A (zh) * | 2015-01-30 | 2015-06-03 | 南京航空航天大学 | 基于有色Petri网的系统综合评估方法 |
CN105022377A (zh) * | 2015-07-22 | 2015-11-04 | 西安电子科技大学 | 一种基于Petri网的自动制造系统的控制方法 |
CN105184385A (zh) * | 2015-07-22 | 2015-12-23 | 西安电子科技大学 | 一种自动制造系统的分布式控制方法 |
CN106200575A (zh) * | 2016-07-07 | 2016-12-07 | 西安电子科技大学 | 一种基于Petri网的自动制造系统的稳健性控制方法 |
CN106295883A (zh) * | 2016-08-11 | 2017-01-04 | 武汉大学 | 基于改进分区多目标进化优化的微网优化调度方法 |
CN107092736A (zh) * | 2017-04-10 | 2017-08-25 | 南京理工大学 | 一种车间制造系统Petri网模型的PLC硬件实现方法 |
CN108090720A (zh) * | 2017-12-07 | 2018-05-29 | 山东科技大学 | 一种基于类型petri网的过程分析方法 |
CN108681829A (zh) * | 2018-06-14 | 2018-10-19 | 北京理工大学 | 一种可重构制造系统部分重构方法 |
CN109857083A (zh) * | 2019-01-11 | 2019-06-07 | 西安电子科技大学 | 一种基于Petri网的含有不可观事件的无死锁控制方法 |
CN110046810A (zh) * | 2019-04-02 | 2019-07-23 | 南京理工大学 | 一种基于赋时Petri网的车间制造系统多目标调度方法 |
CN110110402A (zh) * | 2019-04-19 | 2019-08-09 | 南京理工大学 | 基于二叉决策图的资源分配系统可达状态的快速求解方法 |
CN110209118A (zh) * | 2019-05-22 | 2019-09-06 | 西安电子科技大学 | 具有使用多种类多数量资源和柔性路径特征的基于Petri网的稳健性控制方法 |
CN110222379A (zh) * | 2019-05-17 | 2019-09-10 | 井冈山大学 | 制造网络服务质量的优化方法及系统 |
CN110320798A (zh) * | 2019-05-21 | 2019-10-11 | 西安电子科技大学 | 一种基于安全网的控制器结构简化及行为优化方法 |
CN110597194A (zh) * | 2019-08-18 | 2019-12-20 | 西安电子科技大学 | 一种大规模柔性驱动的自动制造系统的协同活性构建方法 |
Family Cites Families (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
WO2002029608A2 (en) * | 2000-10-06 | 2002-04-11 | Optiant, Inc. | System and method for determining the optimum configuration strategy for systems with multiple decision options |
US20150039279A1 (en) * | 2013-08-02 | 2015-02-05 | Vitali Volovoi | Systems and methods for modeling a complex system using abridged petri nets |
US10001772B2 (en) * | 2015-09-20 | 2018-06-19 | Macau University Of Science And Technology | Optimally scheduling of close-down process for single-arm cluster tools with wafer residency time constraints |
US20190220768A1 (en) * | 2017-05-16 | 2019-07-18 | Peking University Shenzhen Graduate School | Constructing topology for satisfying partition tolerance in consortium blockchain consensus |
-
2020
- 2020-02-06 CN CN202010082000.6A patent/CN111401680B/zh active Active
Patent Citations (18)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH09231282A (ja) * | 1996-02-23 | 1997-09-05 | Hitachi Ltd | 緊急時ネットワーク運用方法 |
CN102393922A (zh) * | 2011-06-23 | 2012-03-28 | 山西省电力公司晋中供电分公司 | 变电站智能报警专家系统的模糊Petri推理方法 |
CN104156262A (zh) * | 2014-08-08 | 2014-11-19 | 浙江工商大学 | 一种基于Petri网MIP法的并发程序死锁检测方法 |
CN104679945A (zh) * | 2015-01-30 | 2015-06-03 | 南京航空航天大学 | 基于有色Petri网的系统综合评估方法 |
CN105022377A (zh) * | 2015-07-22 | 2015-11-04 | 西安电子科技大学 | 一种基于Petri网的自动制造系统的控制方法 |
CN105184385A (zh) * | 2015-07-22 | 2015-12-23 | 西安电子科技大学 | 一种自动制造系统的分布式控制方法 |
CN106200575A (zh) * | 2016-07-07 | 2016-12-07 | 西安电子科技大学 | 一种基于Petri网的自动制造系统的稳健性控制方法 |
CN106295883A (zh) * | 2016-08-11 | 2017-01-04 | 武汉大学 | 基于改进分区多目标进化优化的微网优化调度方法 |
CN107092736A (zh) * | 2017-04-10 | 2017-08-25 | 南京理工大学 | 一种车间制造系统Petri网模型的PLC硬件实现方法 |
CN108090720A (zh) * | 2017-12-07 | 2018-05-29 | 山东科技大学 | 一种基于类型petri网的过程分析方法 |
CN108681829A (zh) * | 2018-06-14 | 2018-10-19 | 北京理工大学 | 一种可重构制造系统部分重构方法 |
CN109857083A (zh) * | 2019-01-11 | 2019-06-07 | 西安电子科技大学 | 一种基于Petri网的含有不可观事件的无死锁控制方法 |
CN110046810A (zh) * | 2019-04-02 | 2019-07-23 | 南京理工大学 | 一种基于赋时Petri网的车间制造系统多目标调度方法 |
CN110110402A (zh) * | 2019-04-19 | 2019-08-09 | 南京理工大学 | 基于二叉决策图的资源分配系统可达状态的快速求解方法 |
CN110222379A (zh) * | 2019-05-17 | 2019-09-10 | 井冈山大学 | 制造网络服务质量的优化方法及系统 |
CN110320798A (zh) * | 2019-05-21 | 2019-10-11 | 西安电子科技大学 | 一种基于安全网的控制器结构简化及行为优化方法 |
CN110209118A (zh) * | 2019-05-22 | 2019-09-06 | 西安电子科技大学 | 具有使用多种类多数量资源和柔性路径特征的基于Petri网的稳健性控制方法 |
CN110597194A (zh) * | 2019-08-18 | 2019-12-20 | 西安电子科技大学 | 一种大规模柔性驱动的自动制造系统的协同活性构建方法 |
Non-Patent Citations (1)
Title |
---|
Hesuan Hu.A Petri Net-Based Discrete-Event Control of Automated Manufacturing Systems with Assembly Operations.《TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY》.2015,第第23卷卷(第第2期期),513-525. * |
Also Published As
Publication number | Publication date |
---|---|
CN111401680A (zh) | 2020-07-10 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
Ding et al. | A new multi-objective ant colony algorithm for solving the disassembly line balancing problem | |
CN102736980B (zh) | 一种面向Java程序的随机测试用例生成方法 | |
Kilincci | A Petri net-based heuristic for simple assembly line balancing problem of type 2 | |
Liu et al. | A branching-process-based method to check soundness of workflow systems | |
JPH02264329A (ja) | プログラム自動生成装置 | |
US20090281987A1 (en) | Integrated distributed query processor for data grids | |
CN112965710B (zh) | 计算图的处理方法、装置和系统 | |
Shoval et al. | Assembly sequence planning for processes with heterogeneous reliabilities | |
CN102799960B (zh) | 面向数据模型的并行业务流程异常检测方法 | |
CN108459965A (zh) | 一种结合用户反馈和代码依赖的软件可追踪生成方法 | |
CN110597194B (zh) | 一种大规模柔性驱动的自动制造系统的协同活性构建方法 | |
CN111401680B (zh) | 具有复杂进程子网的自动制造系统的协同活性构建方法 | |
Chao | An incremental approach to extracting minimal bad siphons | |
US7685554B1 (en) | Determination of data rate and data type in a high-level electronic design | |
CN115168929B (zh) | 基于Dynamo的BIM模型元素编码信息录入方法 | |
Bures et al. | Software engineering for smart cyber-physical systems (SEsCPS 2018)-workshop report | |
Szpyrka et al. | Alvis language with time dependence | |
Cano et al. | On the computation of the minimal siphons of S 4 PR nets from a generating family of siphons | |
Gu et al. | Timed Petri-net representation for short term scheduling of multiproduct batch plants | |
Asmaran et al. | Chemical reaction optimization algorithm to find maximum independent set in a graph | |
Irani et al. | A methodology for solving problems: problem modeling and heuristic generation | |
Korablyov et al. | Dendritic Artificial Immune Network Model for Computing. | |
CN115408272B (zh) | 一种基于TOPSIS法的Java冗余代码评估方法 | |
Levin | Towards integrated glance to restructuring in combinatorial optimization | |
Raghavan et al. | Bicriteria product design optimization: An efficient solution procedure using AND/OR trees |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
PB01 | Publication | ||
PB01 | Publication | ||
SE01 | Entry into force of request for substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
GR01 | Patent grant | ||
GR01 | Patent grant |