柔性制造系统Petri网模型中的两类特殊资源.pdfVIP

计算机应用研究 Vol. 27 No.7 第 27 卷第 7 期 2010 年7 月 Application Research of Computer百 Jul. 2010 柔性制造系统 Petri 网模型中的两类特殊资源* 岳吴 (漳州师范学院计算机科学与工程系，福建漳州 363αlO) 摘 要:在一类 S3pR 网柔性制造系统 Petri 网模型 N 中，考察两类所处位直特殊的资源。这两类资源分别被定 义为第一类和第二类位直特殊资源。随后，证明这些资源不会出现在 S3pR 网 N 的任何一个严格极小信标 ( strict minimal siphon , SMS )或者是基本信标之中，并且任何使用这些资源的操作库所也不会出现在 N 的任何­ 个 SMS 或基本信标之中。结论说明，在柔性制造系统中可能存在一些同系统死锁的发生没有关系的资源。最 后，简要介绍这两类特殊资源的应用前景。 关键词:柔性制造系统; Petri 网;信标;死锁;资源 ·中固分类号: 1凹9 文献标志码:A 文章编号: 1∞1-3695(2010)07-2530-03 doi: 10. 3969Ij. issn. 1∞1-3695.2010.07.036 Two types of $pecial resources in Petri nets models of flexible manufacturing systems YUE Hω (Dept. ofCo呻盹r Science E，略ineer吨， Z阳咆劝刷 NomuU UniverJ句， Z阳略加， U Fujl归n 363仪郎， China) Abstract: 币lis paper concerned two types of resources with special location in a class of flexible manufacturing systems ( FMS) Petri nets models N named S3 PR. 币lese two types of r，四ources were defined as the first type and 出e 回吧。nd type of special location resources ,respectively. It w，副 proved that neither these reωurces would be contained in each arbitrary strict minimal siphon ( SMS) or elementary siphon of S3 PR ,nor those operation places that used these resources. 币le conclusion illus- trates that there might be some resources which have nothing ωdo with the occurrence of system deadlock. Finally ,briefly in- troduced the applícation perspective of the two types of special resources. Key words: flexible manufacturing system( FMS); Petri net; siphon; deadlock; 陀回山田 后，笔者对这两类特殊