一种基于Petri网的自动制造系统的稳健性控制方法

    公开(公告)号:CN106200575A

    公开(公告)日:2016-12-07

    申请号:CN201610532730.5

    申请日:2016-07-07

    Inventor: 胡核算 杜楠

    CPC classification number: Y02P90/02 Y02P90/04 Y02P90/18 G05B19/41885

    Abstract: 本发明涉及一种基于Petri网的自动制造系统的稳健性控制方法。它通过首先,检测一个可达状态M下所有使能的变迁,然后在所有的使能变迁中检测出保证系统无死锁的变迁集合,再在所有的无死锁变迁中检测出保证系统稳健的变迁,最后在所有稳健的变迁中检测出最大并发性允许变迁。在最大并发性允许变迁集合中选择一个变迁发射。每发射一个变迁,就会得到一个新的状态,在新状态下,继续执行上述的步骤。如此反复,最终得到保证系统稳健无死锁运行的变迁序列,按照该序列发射,不仅保证系统无死锁,而且能保证系统无阻塞。本发明应用Petri网作为数学工具,对自动制造系统进行建模,从而实现系统能持续流畅的加工。

    一种基于Petri网的自动制造系统的稳健性控制方法

    公开(公告)号:CN106200575B

    公开(公告)日:2018-07-20

    申请号:CN201610532730.5

    申请日:2016-07-07

    Inventor: 胡核算 杜楠

    CPC classification number: Y02P90/02 Y02P90/04 Y02P90/18

    Abstract: 本发明涉及一种基于Petri网的自动制造系统的稳健性控制方法。它通过首先,检测一个可达状态M下所有使能的变迁,然后在所有的使能变迁中检测出保证系统无死锁的变迁集合,再在所有的无死锁变迁中检测出保证系统稳健的变迁,最后在所有稳健的变迁中检测出最大并发性允许变迁。在最大并发性允许变迁集合中选择一个变迁发射。每发射一个变迁,就会得到一个新的状态,在新状态下,继续执行上述的步骤。如此反复,最终得到保证系统稳健无死锁运行的变迁序列,按照该序列发射,不仅保证系统无死锁,而且能保证系统无阻塞。本发明应用Petri网作为数学工具,对自动制造系统进行建模,从而实现系统能持续流畅的加工。

Patent Agency Ranking