Professional Documents
Culture Documents
Intro RD P
Intro RD P
#0 = then 1 ee SR@)= mx Po sujet to M=My+C- 920 (LPPS) 320 “The dua of LPPA is : SRQ)=min YF My fbject to YF C's = oP aires) Yeo chancterizing when SR() goes to infty. The My and 8 20 as a feanible solution. Using first i i z zs2 Introducing Petri nes 12 ‘yo some nd conten, uly ane net (ime 329 232228 tina Property L10, The flowing thee statements are equivalent 1. tis stracturlyepeve (Ge there exists age encugh’ Mabe that (can be fied fate often: 2 BY 20 sah mat Y? C's ef (place perpostie 5 Bre e-such tat C- X20 (uanstion perspective} Property 11, The folowing tree statements are equivalent 1. Nisstructrallyrepestive (Ll wanstion ar structural repetitive 2 5vS0suh dary? CsOand C0, 5 Beet auch dat C. X20. Combining Properties 18 and 131 and omsidering that strstr pt {ene vu netesay conto for ttre iveness, the following ‘Ea reut canbe obtained (Memmi and Reveal, 198, Brass, 1985; Siva, 1985; {fs strccraly ve abd structurally bounded then BE 21 such that CX = 0 (Ge. N is conser) (le Nis conserva) [Net stratus in Fig, 122 are consitent and conservative, but there ‘ier no Ive marking for them. A ore erful analy esing the above {out teatvely allows to inprove wih rank condion onthe result iteratively allows us to improve it with 3 Fak com nee in the. Qualitative anayss of net system models 3 “Leto say that anda inequality confit relation if Pret) = Pres) 20, bv, hs an epvelees ean, lengli prin of raat Sons ito equivalence clases. Let D, bean equivalence clas. We define the following quantities, = DJ-1 er Propety L12. Let Che the incidence matic of N. 1, EVs stracoaly Hive then 2X72 1 suc that C- 720 2.31 surstrally ive and structurally bounded then 3X 21 such that C. X= 0 Ge. net consstene) ‘3V =| such that Y" "C= (Ge no eomservaivenes) yonk(C) sl 5-1 3.18. is conectad, content and coneraie then iis S00 conecied * The added rank condition allows us to state tha he net a Fig 12(0) is seacturaly nove. Nevertheless, noting can be said about stctral lvenesr ofthe net in Fig 1220) ‘Property 112 parelystrcteral the nti marking not consi sot at al Nevertheless lar that» smal enoaph nil making esa taake none a net stem even ithe net strctre is well formed. A Tomer bound forthe intl marking to make ive a et syst i based on ‘plavtiansi'¢= Tis rable wt east once, for any pnvaiaat ¥,Y"» Me EVM Pel). Therefor: Propety LAK 1 (NA) 6H sytem, then Wire Ouch that YF CeO, YF Meas YF» Pre) 21 Unortnstely no charactesizatinoftvenes exis iea algebra terms. ‘Tenet inFip 1124s strostrally ve, Adding ken op lp sess remain marked, but is aoa (4) Reverb (and Ivers) Let ws now we a Lapuney stably technique to prove thatthe net synem in Fig 19 is reversible, It serves to lutte the ws of neariants hd some inductive reaonings "Ase peclitnary consideration that makes the et of the proof easier, the flowing simple property wl be ued let (Nf) be a reverie 8° fem and M, reachable from M, (ue. So such that Mo) Ma). Thea (, M) is reversibhe