[发明专利]一种基于Petri网的柔性制造系统的鲁棒死锁检测方法

权利要求书

1.一种基于Petri网的柔性制造系统的鲁棒死锁检测方法，其特征在于，包括以下步骤：

S1、建立柔性制造系统的Petri网，采集一个可达标识M∈R(N_u,M_u0)，Petri网的标识是一个映射M，token表示在M下，位置p中的加工单元个数；

S2、初始化，令操作使能变迁集合标签L的状态为true；

S3、在标识M下，将操作使能的变迁放至集合T₀中；

S4、选择T₀中的任意一个变迁t_si；

S5、当变迁t_si的前置资源R_stsi的token数大于零或变迁t_si无前置资源，则在T₀中将变迁t_si删除，执行步骤S4；

S6、当变迁t_si的前置资源R_stsi的token数为零，则将释放资源R_stsi的操作使能变迁放至集合T₁中，标签L的状态为true；

S7、选择T₁\T₂中的任意一个变迁t_di；

S8、当变迁t_di的前置资源R_stdi的token数大于零或变迁t_di无前置资源，则标签L的状态为false，并在T₀中将变迁t_si删除，执行步骤S4；

S9、当变迁t_di的前置资源R_stdi的token数为零，则将释放资源R_stdi的操作使能变迁放至集合T₁中，将变迁t_di放至集合T₂中，执行步骤S7；

S10、当T₁\T₂为当标签L的状态为true，则标识M是一个死锁标识；

S11、当标签L的状态为false，则在T₀中将变迁t_si删除，执行步骤S4；

S12、在检测的过程中，若标签L的状态发生过改变且为false，则标识M是一个无死锁标识；若T₀为则标识M是一个无死锁标识。