柔性制造系统中混惑检测及控制

并发和冲突在柔性制造系统中是普遍存在的,当并发和冲突混合在一起时,使人无法从系统可达图相同的终态观测到是否有冲突发生过,系统的这一特征称为混惑,存在混惑的系统不是一个好的系统,不便于对系统施加外部控制.为了解决这一问题,本文首先分析了存在混惑的柔性制造系统在结构上存在的关系,提出了基于关联矩阵的混惑结构检测方法;然后,提出基于广义互斥约束的监控器构造方法,并把设计的监控器,预先施加在每个混惑子网上,在系统运行过程中,混惑子网出现混惑导致冲突时,监控器有效,进行混惑控制.最后,通过一个柔性制造系统实例对提出的混惑检测方法及控制策略进行仿真,以验证所提方法的正确性和有效性.

基于Petri网的柔性制造系统混惑检测与控制

已有的混惑检测算法需要多次遍历Petri网中的所有变迁寻找混惑,比较耗时,不适合应用在复杂的柔性制造系统中。为此提出了一种新的混惑检测算法,根据混惑的基本结构特征,首先排除一些从结构上就不可能构成混惑的库所和变迁;然后在最有可能出现混惑的库所和变迁中去寻找混惑,从而降低了检测混惑的时间复杂度;再采用抑止弧对系统中出现的混惑进行了一定的消解控制;最后通过一个柔性制造系统实例验证了所提出的混惑检测算法及控制策略的高效性和正确性。