Petri网有界性与公平性关系的进一步研究.pdfVIP

筇20#mw 系统仿真学报@ Ⅶl20sumi ：竺!!! !!!!!型!!坠!!!竺!：竺!!!竺! !些!竺 Petri网有界性和公平性关系的进一步研究 王廷刚，吴哲辉 (Ⅲ$l一#^≠#B々％，^∞26651∞ 干目是％袖有莽目，女Petri目的蛄构有界库所干集的外建干目的主t集合包考原目时垒部圭t时， 谴干目与犀目的公平性是等侪的，i刖即使蕾干目为套平日，原月也{走心平月，n#*将一般 Pem目的。十＆判￡H题转“∞％构有界目的公}＆判￡H趣 关键词：Pe“目，公平性，有界№，外延子目 9 中图分类号：TP391 文献标识码：A 文章编号：1004．73IX(2009)Sm013t02 Furlherofthe Study Relationship PetriNet’s and between StrueturalBoundednessFairness WANG Ting-gang,WUZhe-hui (Collegeofln自ⅫdbShandongUniv∞ityofsc…口dTccbnologA∞m02665j0alma】 discuss％the^口lnm’sstmcturaIbo硼dednessandmcfairness OUtthatthe Abstract：Th“paper N…isbounded againpointing outface sub月“ofthe of口Petri neI,1fthe。q札c“^H“COnlain5 boundedplaces thesubnel。dIhe nelis DnEIMtEl originalnⅢb删equalr¨1wdfaimess，elsetheanginalnotfair…#IhⅫbnet u a eetnnet’sfaime女rataa afair’“thas…I…c。nvemthequestionofjuminggentl questionofjudginglhe h㈣cs㈣ofacnnlboundedP删 subnet KevwmⅢs：petriNet；structuralfairness；slVacmralboundedn％s；om‰e 一个H，瞒是f的韧始标tI。S和T是两个不相窭的集台， 引言 他们是MⅣ的赫本，‘素粜。S的，o素称为库所．T的i素称 Petn月∞*+*Ⅻi界性都是Petn目∞重要结构H质。 T，t 为变迁，，是划Ⅳ的流关系。对于j∈SU Petri 文献『11给出，，惭P矧H有#性的算法．井讨论r ·x=“pESUTA“瑚EF} 阿*平性和肯界性的蓑系。空献[2l绪…T种化简方法，将 』·=“¨ESUTA“曲EF} 一般Pe■月化简为结构柯界的PemM进行处理，M而使得