基于Petri網(wǎng)的文件并行傳輸問題的建模與分析.pdf

1、西華大學碩士學位論文基于Petri網(wǎng)的文件并行傳輸問題的建模與分析姓名：王歡申請學位級別：碩士專業(yè)：計算機應用技術指導教師：宋文201204西華大學碩士學位論文AbstractFomalso腳aredevelopingistheprharymeansfo“argescaleso腳aredeVelopmentItpromotesmesof時arerobusnlesswitht11efoImalsoRwareteclⅡ10logy，redu

2、cesalotofen0randsaVesmecostThrou曲verificationaIldanalysis，Vague鋤dincoInpletepropeniescanbefound，w11ichimproVil培moreef6cientonso腳arequali哆andmodelpro鏟essFo皿ulationisdividedint、7l，oparts：fIornlalspecification鋤dfornlalVerif

3、icationP嘶netisaperfectdescriptiontoolsatisfiedthetwodemandsConcurrencyisthemainfeatureofne船orkenViromentnmeansasynckonous，orderaIlddisorderPe廿inetisatoolofdesc邱tion鋤da11alysisconcurrencyItholdsmeaIlalyticalabili夠forthemo

4、dels缸uctLlre鋤ddynamicbehaviorTheresultiIlgcanbeusedtopromotesystemAtthes鋤etime，abridgebuiltbyPetriNetsprovidedacommunicationenvirolllnemforthepro鏟撇ersaIlddevelopersht11eenv打0mnentofne鉚ork，t11esystemisreceiVingusers’V耐ous

5、operationrequirementsaUmetinleButmesystemcouldprocessa11theoperationsbysequenceIt’spreferablytouseaconcurrentfonIltoprocesst11erequestThenitcanmaximizecybersollrceutilizationrate，andmeetpeople’sdemandsandwishes7Iherearem

6、anyfactorsan’ectingⅡ1e協(xié)msmissionef!Eiciencyofnetwork，suchasthesystemmaybeuna_bletohaIldlealloperationrequestsiIlthneAVeryiIl】【ponantreasoncausiIlgresourcewaitingisconlpetitiveresouI℃e，w11ichmeans：inacertainperiod，aUthere

7、s叭ⅡceshaVebeenoccupied；ort11eoperationapplicationhasn’t秭Vedtothedestination；orthereSponserequestisstilli11廿leroadandsoonSoitisnecessarytoprocesstheoperationrequestsasyncIHDnousThemainworkof缸spaperisasfollows：(1)Constmcta

8、connict一丘eeparaUelfilestransmissionmodelbasedonExtendedPetrinetsSimulatethewh01efiletraIlsferprocesscombi血ngwitllthetimecontrolsubsystemMeanwmle，useS—Invariantsa11a1)，zingsomedyIl鋤icbehaviorsofthemodel，andValidatest11ere

9、asonableaIldaccuracyofthemodel(2)Usingtheapproachofdataexchallgene觚orksendaIldreceiVerfilesAndthereisn0directrelationsllipbe觚eenreceiversandsenderSnavoidswaitingcausedbyeachofthemhasno仃ansmissionresolJjrcesAtmes鋤etime，in

10、troducingmeconc印tsoftimea11dcolor，usethellierarcllicalmeⅡlodtoconstmctparalleltransmissionoffllesmodelbasedonextendedcoloredP嘶netsnreducesdatatr￡msmissiontime，improVethenetworkcommullicationperfomanceMeallwllileuseS—IIlV