公开(公告)号：CN107808214B

公开(公告)日：2022-05-27

申请号：CN201710989077.X

申请日：2017-10-22

Applicant: 南京理工大学

Inventor： 黄波 ,  丁高瞻 ,  蔡志成 ,  张皓明 ,  杨余旺

IPC: G06Q10/04 ,  G06Q50/04

Abstract: 本发明公开了一种车间制造系统的启发式二叉决策图(OBDD)变量序优化表示方法，包括以下步骤：采用Petri网对企业车间生产系统建模；计算Petri网各个库所之间相互关联度；以资源库所为中心，依据库所之间关联度大小对库所进行分组；采用深度优先策略寻找资源库所对应分组及所有库所的OBDD编码顺序。本发明以制造车间Petri网模型为对象，采用启发式OBDD变量序优化技术，缓解了在系统模型分析中存在的状态爆炸问题，具有有效减小模型表示结构、加快模型分析速度的优点。

公开(公告)号：CN107092736B

公开(公告)日：2021-05-04

申请号：CN201710227882.9

申请日：2017-04-10

Applicant: 南京理工大学

Inventor： 黄波 ,  丁高瞻 ,  张皓明 ,  蔡志成 ,  杨余旺

IPC: G06F30/22

Abstract: 本发明公开了一种车间制造系统中Petri网模型转换到PLC梯形图的方法。首先，使用Petri网对车间制造系统进行建模，再把Petri网模型转化为工业控制系统中常用控制器PLC对应的梯形图。将系统Petri网模型的PLC梯形图分为三个模块，包括初始化模块，侦测模块和演变模块。初始化模块用于将Petri网的初始状态M0传递给梯形图，即把Petri网模型的初始托肯信息传递给对应的线圈或加法器。侦测模块用于检测每个变迁的使能信息，用于判断冲突变迁的优先级，用于解决冲突问题，用于从结构上避免雪崩效应。演变模块用于接收侦测模块传递的信息，将使能的变迁发射，并更新各个库所的托肯数量。本发明以车间制造系统为对象，解决了系统Petri网转换到PLC梯形图中存在的冲突问题和雪崩效应。

公开(公告)号：CN107808214A

公开(公告)日：2018-03-16

申请号：CN201710989077.X

申请日：2017-10-22

Applicant: 南京理工大学

Inventor： 黄波 ,  丁高瞻 ,  蔡志成 ,  张皓明 ,  杨余旺

IPC: G06Q10/04 ,  G06Q50/04

CPC classification number: G06Q10/04 ,  G06Q50/04

Abstract: 本发明公开了一种车间制造系统的启发式二叉决策图(OBDD)变量序优化表示方法，包括以下步骤：采用Petri网对企业车间生产系统建模；计算Petri网各个库所之间相互关联度；以资源库所为中心，依据库所之间关联度大小对库所进行分组；采用深度优先策略寻找资源库所对应分组及所有库所的OBDD编码顺序。本发明以制造车间Petri网模型为对象，采用启发式OBDD变量序优化技术，缓解了在系统模型分析中存在的状态爆炸问题，具有有效减小模型表示结构、加快模型分析速度的优点。

公开(公告)号：CN107092736A

公开(公告)日：2017-08-25

申请号：CN201710227882.9

申请日：2017-04-10

Applicant: 南京理工大学

Inventor： 黄波 ,  丁高瞻 ,  张皓明 ,  蔡志成 ,  杨余旺

IPC: G06F17/50

CPC classification number: G06F17/5013

Abstract: 本发明公开了一种车间制造系统中Petri网模型转换到PLC梯形图的方法。首先，使用Petri网对车间制造系统进行建模，再把Petri网模型转化为工业控制系统中常用控制器PLC对应的梯形图。将系统Petri网模型的PLC梯形图分为三个模块，包括初始化模块，侦测模块和演变模块。初始化模块用于将Petri网的初始状态M0传递给梯形图，即把Petri网模型的初始托肯信息传递给对应的线圈或加法器。侦测模块用于检测每个变迁的使能信息，用于判断冲突变迁的优先级，用于解决冲突问题，用于从结构上避免雪崩效应。演变模块用于接收侦测模块传递的信息，将使能的变迁发射，并更新各个库所的托肯数量。本发明以车间制造系统为对象，解决了系统Petri网转换到PLC梯形图中存在的冲突问题和雪崩效应。