1.一种含不可靠资源的柔性制造系统的死锁避免方法，其特征在于，包括以下步骤：S1、在给定标识M下引发给定变迁t，生成新的标识M′，然后计算生成的标识M′的所有后继标识；S1包括以下步骤：S1.1、设置需判断的变迁t的前置资源库所为r1，并在给定标识M下引发变迁t到达新的标识M′；

S1.2、设置变迁集合

S1.3、计算M′的后继标识，并将M′以及M′的所有后继标识放入集合S2、判断每个后继标识下是否存在循环等待；S2包括以下步骤：S2.1、设置集合

S2.2、判断集合 此时是否为空集，若为空，进行S3，若不为空，则进行S2.3；

S2.3、从集合 中任选一个变迁M1，判断M1中是否存在循环等待，若存在，则将M1放入集合χ；判断完后进行S2.4；

S2.4、将M1从集合 中去除；执行完进行S2.2；

S3、根据S2的结果判断给定变迁是否能在给定标识下引发；S3包括以下步骤：S3.1、判断集合χ是否为空集，若为空集进行S3.2，若不为空集进行S3.3；

S3.2、输出结果χ(M,t)＝permitted；

S3.3、输出结果χ(M,t)＝unpermitted；

所述S1.3计算M′的后继标识，并将M′以及M′的所有后继标识放入集合 具体过程包括：S1.3.1、设置集合P1M为在标识M′下含有托肯并且使用不可靠资源的操作库所集合；

S1.3.2、设置集合

S1.3.3、将标识M′放入集合

S1.3.4、判断集合 和集合 中的元素是否相等，若不相等，则进行S1.3.5，若相等则进行S1.3.13；

S1.3.5、选择一个集合 中存在，但是集合 中没有的元素，将其设为Mα；

S1.3.6、将标识Mα放入集合 并设置集合P2M＝P1M；

S1.3.7、判断P2M是否为空集，若不为空集，则进行S1.3.8，若为空集，则进行S1.3.4；

S1.3.8、从P2M中选择一个元素，并将其设置为P，并将其从集合P2M中去除；

S1.3.9、设置tα为P的后置故障变迁，并且设置Mα′＝Mα；

S1.3.10、判断在标识Mα′下，操作库所P中是否存在托肯，并且操作库所P使用的不可靠资源还有两个及以上没有故障的，若满足条件，进行S1.3.11，反之则进行S1.3.12；

S1.3.11、在标识Mα′下引发变迁tα生成新的标识Mα′后进行S1.3.10；

S1.3.12、将标识Mα′并入集合 后进行S1.3.7；

S1.3.13、判断集合 是否为空集，若为空集则进行S2.1，若不为空集，则进行S1.3.14；

S1.3.14、从集合 中任选一个元素将其设为标识Mα′，并将元素Mα′从集合 中去除，设置集合P2M＝P1M，进行S1.3.15；

S1.3.15、判断集合P2M是否为空集，若为空集，进行S1.3.13，若不为空集，进行S1.3.16；

S1.3.16、从集合P2M中任选一个元素设为P，并将元素P从集合P2M中删除，判断在标识Mα′下，操作库所P所用不可靠资源库所中是否还有托肯，若还有托肯，进行S1.3.17，若没有托肯，则进行S1.3.18；

S1.3.17、判断在标识Mα′下，和操作库所P共用一个不可靠资源的其他操作库所中是否还有托肯，若没有托肯，进行S1.3.15，若还有托肯，则将标识Mα′从集合 中去除后，进行S1.3.15；

S1.3.18、判断在标识Mα′下，和操作库所P共用一个不可靠资源的其他操作库所中的托肯数，加上P中的托肯数是否为1，若为1，则进行S1.3.15，若不为1，则将标识Mα′从集合中去除后，进行S1.3.15；

所述S2.3，判断M1中是否存在循环等待的具体过程包括：S2.3.1、设置集合 χ(M1)＝true；

S2.3.2、判断在标识M1中r1的托肯数是否大于0，若不大于0，则进行S2.3.3，否则进行S2.4；

1

S2.3.3、设置集合T为发生后可使r1中的托肯数增加，并且在标识M1下，其前置操作库所中托肯数大于0的变迁集合；

1 2

S2.3.4、若集合T 中存在T 中没有的元素，则进行S2.3.5；若不存在，则令χ(M1)＝false，将M1放入集合χ后进行S2.4；

1 2

S2.3.5、从集合T中存在T 中没有的元素中任选一个元素t1，并且设置t1的前置资源库所为r2；

S2.3.6、判断在标识M1下r2中是否存在托肯，或者引发t1是否需要资源，若在标识M1下r2中存在托肯或者引发t1不需要资源则进行S2.4，否则进行S2.3.7；

3

S2.3.7、设置集合T为发生后可使r2中的托肯数增加，并且在标识M1下,前置操作库所

1 1 3 2 2

中托肯数大于0的变迁集合；令T＝T∪T；T＝T∪{t1}；进行S2.3.4。