公开(公告)号：CN105116795A

公开(公告)日：2015-12-02

申请号：CN201510435048.X

申请日：2015-07-22

Applicant: 西安电子科技大学

Inventor： 胡核算 ,  杨妍

IPC: G05B19/042

CPC classification number: G05B19/042 ,  G05B2219/25232

Abstract: 一种针对具有装配操作的自动制造系统的分布式控制方法，先检测一个状态M下能够使能的变迁的集合变迁，当TEN中的所有变迁都检测完毕，最终输出的TCN即为在状态M下，保证系统无死锁运行的变迁的集合；激发其中的任意变迁，得到新的状态，再判定该状态下能够保证系统无死锁运行的变迁的集合；如此反复，最终得到保证系统无死锁运行的发射序列。本发明应用Petri网作为数学工具，避免穷举状态空间，进而降低算法的复杂度，实现规模庞大的系统的高效控制，采用一种动态的、在线的、分布式的控制方式对局部状态进行观测和控制，从而最终确保整个系统的无死锁性。

公开(公告)号：CN105116795B

公开(公告)日：2018-02-02

申请号：CN201510435048.X

申请日：2015-07-22

Applicant: 西安电子科技大学

Inventor： 胡核算 ,  杨妍

IPC: G05B19/042

Abstract: 一种针对具有装配操作的自动制造系统的分布式控制方法，先检测一个状态M下能够使能的变迁的集合变迁，当TEN中的所有变迁都检测完毕，最终输出的TCN即为在状态状态M下，保证系统无死锁运行的变迁的集合；激发其中的任意变迁，得到新的状态，再判定该状态下能够保证系统无死锁运行的变迁的集合；如此反复，最终得到保证系统无死锁运行的发射序列。本发明应用Petri网作为数学工具，避免穷举状态空间，进而降低算法的复杂度，实现规模庞大的系统的高效控制，采用一种动态的、在线的、分布式的控制方式对局部状态进行观测和控制，从而最终确保整个系统的无死锁性。