1、西華大學(xué)碩士學(xué)位論文基于Petri網(wǎng)的文件并行傳輸問(wèn)題的建模與分析姓名：王歡申請(qǐng)學(xué)位級(jí)別：碩士專業(yè)：計(jì)算機(jī)應(yīng)用技術(shù)指導(dǎo)教師：宋文201204西華大學(xué)碩士學(xué)位論文AbstractFomalso腳aredevelopingistheprharymeansfo“argescaleso腳aredeVelopmentItpromotesmesof時(shí)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缸u(yù)ctLlre鋤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