[发明专利]一种基于Petri网的自动制造系统的控制方法

摘要

一种基于Petri网的自动制造系统的控制方法，通过死锁避免算法、稳健性加强算法、并发性改善算法，这三个算法的运行，将产生一组变迁集合，任意属于该集合的变迁的发射都能满足无死锁，稳健性并改善系统并发性，每发射一个变迁后，这三个算法需要重新依次计算，再产生一个新的变迁集合，如此循环往复，实时动态地生成一组事件发生序列。本发明保证系统在出现资源故障时那些不需要故障资源的进程不会被需要故障资源的进程阻塞，能够持续流畅加工，并改善系统的并发性。

主权项

一种基于Petri网的自动制造系统的控制方法，其特征在于，包括以下步骤：1)进行死锁避免算法：1.1)初始化；1.2)采集当前状态信息，包括每个库所所含的托肯数，其中，活动库所中的托肯数表示当前所含的工件数，资源库所中的托肯数表示当前剩余的资源数目；1.3)根据变迁发射规则，求出当前状态下所有使能的变迁集合TEN，且所有使能的变迁集合TEN中的元素个数为n；1.4)令无死锁变迁集合1.5)选择第i种工件类型或进程的第j个变迁属于所有使能的变迁集合TEN，且在当前剩余资源支撑下，工件若能从当前库所走到最近的关键库所，则无死锁变迁集合工件若不能从当前库所走到最近的关键库所，则进行步骤1.5)；其中，i∈NK，NK是自然数集合，NK＝{1,2,3,…,K}；2)进行稳健性加强算法：将从无死锁变迁集合TDF中挑选产生一个允许发射的变迁集合使得系统既无死锁又是稳健的；无死锁变迁集合TDF中元素个数为m；3)进行并发性改善算法：3.1)给变迁集合TRB中的每一个变迁对应的托肯添加标签xi；3.2)用表示第xi个托肯前进的步数；3.3)选择最落后的托肯，则其对应的变迁属于并发性改善变迁集合TMC；3.4)让并发性改善变迁集合TMC中的一个变迁发射；然后进行步骤1.2)。