基于语言等价的Petri网化简.pdfVIP

mⅢt#_【 系统仿真学报o Ⅷ19s…【1 型竺型 !!!!!!!!!!!!竺!罂!!!墅! 坐型 基于语言等价的Petri网化简 张继军，董卫 【【自《o，，t—id≠≈，JJm#t2j川m 摘受：主垃Tq∞包表达j弋如同步变错正规袁遮式证明T同步z错正规袁适式与pemE语言的 等铲性挎出TPctn尉语i的蛄均特征任意一十Pn^罔话吉都是一十正规语言袁迭式与Ⅱ闭屯 袁逮式的同步．措助于这一特性，给出7Pem目的化苟过程厦其算，} 关键词q闭包袁选式：同步z错E规表速式Petn圃．化简 q 中翻分类号：TP)91 文献标识码A 文章犏号：l∞4”lx200“s1，n168．03 PetriNet BasedOn SimplincatiOnLanguageEquivalence ZHANGjI_IHn．D()N6Ⅶ“ J∞2ⅢmChlna】 cn¨％}“In∞m岫t1『tshⅫdDngAgn呲um㈨vehⅢn d ^bstrad}Tk 耐Pef…l!nnRudE……h…叩Pr蝴b。m…”s“inr algonmmf甜P㈣2“p11ncmlonb∞edo^I柚g【l罐eoqulvalence“目”cn Koy踟rdslⅡcl…ee^旷esslon．5yⅡchr邮】∞【lon■temakr昭“I“c印”ssIon，Pe【几ncl，H1m剖lncanon 这咀假设读肯埘Peln网厦#语言有所了解．对十文中 言 涉及到胄关Pem弼舸基本溉念，术语、记号可参考『I5，8】； Pem闷作为系统模扭1i分析的』_具己在众多的领域搿 l同步交错正规表达式 到应用．为了有效的埘系统进行建槿和升析．融{|l}持嗣的某 些性质4；变的情况下．计列进打化简、弁成、分解等运算的 设r足有限字砖丧偶rl，a∈r，刚：a的前缀集合旺 研究是目前研究的孽要课题，文献…帆艮m网语言方面对 为 乳·*(“哦= 合成运算舶封闭性进}亍n}篼．文献【2】提出了Pe“州井操 作，讨论r并撵作后，嘲的可重复性、相窖性有拜性、守 定义1．1 醴r足十有限宁符表．aI，02是字士=}表r上 恒性．公甲性保持的条件，立献口J定望了P，T网加法、笛 的有蹶K度的字持卑．则 祝和叠加运尊．并讨论r它们蝌系统结构性质的保持条件． 文献f4】引^Pe埘科的弼步台成和共享合成操作提卅动态 ^V畦Pre“w} fl】 {o】，a)：州d2，删!J：IJ 币变性概盘．揭示T系统综合过程中．保持行为和敞志不变 称山“闭包运算，井称带嘶般赖于串01，称a与吼的依藏度 性的有关籍件，文献『5I对hm阿运算进行了综述．定殳井 比值为口l。o于1u。 绪出了Pe砸嗣有关操作的形式定义和操作∞有共性质，特 定义1z一个“闭包表达式是满足下列条件的递归定义： 别是就慑持闷系统的活性和商再性不变的化简．井给出r化 ①公式f1)是Ⅱ用乜最逛式 筒方案，