Petri网模型参数化可达图的研究.pdfVIP

．__．}m】 系统仿真学报0 wq‰D_I 二‘竺·! 墅!!!!!!!!!竺竺!!竺型竺 !鳖型! Petri网模型参数化可达图研究 宋佳*，林闻 擅里fPeHl目是一种对#发未统进竹描逆和建模的重导敷学I鼻，可连囤是Pcn网槿型的王要 分析d法为7解决由于系纯毒戢他遣成的Pem搓型可适圈堆d拘连并且无法，主扦媾型睦质．1奎验 的日题，在舟析瑰有事赣化可连困方法曲基础上，利用参数化杯识提出一种新的^t^融模型竞奎 蚀忆可选碍构造方法．同时磐出了选种可逮圈的有关特性曩苒证明，并毕倒说明T如何{l用连种 参敏化可适图对系白巳进行槿dⅡ庸特剥 嵫 关t词lPetn卿．参数化可遮图：模型性质培瓤 中舶分娄号：TP]9】 文献标识码；A 文章辅号：100473lxr2∞7)sl一【】f)38．06 ResearchonParameterized of Net PetriModels ReachabiIltyGraph s0NG uN jtd一Ⅻng Ch岍ng ch】n¨ cDqⅫn……“mP“研sclen…dnc}I|loI删n懈‰u…1qBEu。wlf岬84 math…Ilcmml AbsLmct：P㈣ct…lm印nam fof…删5y㈣s如。砷uo玎d玎dmo出骱g柚dm础曲j||目 cⅡ甜lJ…elh0(jsmrPemnet Jnomcrt…1ve modcls me P岬h蛐alys¨…l…r岫肌t～l P曲l…fcon^ⅡⅥc￡lng rea‘h幽mv aⅡd P洲【mod#h…’df g‘华h ven毋l”gpH’pemes【Hp“㈣刊5，s№m fp叩kfP一胂…№啦Pd mnchnbmH PRc“岫m抛正 8ru曲tPRGlbd^d自“p…FtPrl口d瑚rkl“”“PM册tledoⅧf地cn“snioonlhm如rlh useme 口，m啪，Pr删几p“删州“盯m“kznd盯，啸6Ⅳ”g…n材Pmv越Ane…脚e15pmsenⅫ【0m蚴howl0 PRGr vcnnca油n m胡“n#pm州v T】eo Key…ds：pem p洲lcnzed，m¨habl】1口g口pb，m(IdellogPropcnynnca【Ion 剥等就是非常有效的模犁”“．基于Pc砸嘲状态可选隅的偏 序简化和偏序语义技术也被广泛最增㈨1，同时一些参数化 P曲1附是种重要的盘学T具，它能有效地埘并发系统 的方法被用米解斑参数化模掣性质检验问题，这些方法中 进行描述和建模，井对系统的井筮性，异步性