基于賦時(shí)著色Petri網(wǎng)的Web系統(tǒng)建模仿真與性能評(píng)價(jià).pdf

1、中國(guó)石油大學(xué)（華東）碩士學(xué)位論文基于賦時(shí)著色Petri網(wǎng)的Web系統(tǒng)建模仿真與性能評(píng)價(jià)姓名：劉璐璐申請(qǐng)學(xué)位級(jí)別：碩士專(zhuān)業(yè)：計(jì)算機(jī)軟件與理論指導(dǎo)教師：朱連章20090401ModelingandPerformanceAnalysisforWbbSystemBasedonTimedColoredPetriNetsLiuLulu(ComputerSoftwareandTheory)DirectedbyProfessorZhuLianzhang

2、AbstractAlong晰thswiftdevelopmentandextensiveapplicationoftheWebsystem，thefunctionvalidationandperformanceimprovementismoreandmorebeingfocusedThereforethedevelopmentofWebsystembecomesahardandcomplicatedworkThedeveloperswa

3、nttomakeitpossiblethatfunctionvalidationandperformanceanalysisCanbedoneintheforepartSOthattheyCalldiscoverthebugofdesignandtakeactiontoimprovetheperformanceoftheWebsystemTherefore，itisveryimportanttomodelandanalyzeWebsys

4、temManyscholarstakeupwithstudyofmodelingandsimulationofWebsystemandbringforwardalotofformalizationmethodswhichhavebeenusedintomodelingandperformanceanalysis，such嬲QueuingNetworkStochasticPetriNetStochasticProcessAlgebraCo

5、loredPetriNetete皿1ecalculatingprocessesofSPA，SPNandQNusetheMarkovchainBecauseoftheexistenceofstatespaceexplosionitisverydifficultandevenimpossibletotranslatealittlesystemintoamathematicalanalyzingmodelSPNhasstrongerabili

6、tytodescribethemodelespeciallytoanalyzetheperformanceofdistributedsystems，parallelsystemsandsynchronoussystemsereHoweverastheincreaseofplace，transitionandtokenstatespaceexplosionstillexistsColoredPetrinetisagraphicaltool

7、beingusedtomodelandanalyzethesystemperformance，whichespeciallyadaptstodescribesequence，concurrence，synchronizationandconflictCandepictthestaticstructureandanalyzethedynamicbehaviorofsystemColoredPetrinethasbothintuitioni

8、sticgraphicdescriptionandprofoundmathematicfoundationwhichmodelCanbevalidatedandanalyzedbysomemathematicaltoolsuchasMarkovchainThispaperconsidersanadvancedPetrinet，timedcoloredPetrinet(TCPN)，toestablishmoreaccuratePetrin

9、etmodelTCPNismoreeffectivetodepictandanalyzesynchronization，communicationandresourceshareofconcurrencemanipulationswhichoccurinthemodelbasedontimeTherefore，itgreatlyadaptstomodelandanalyzecomplicatedWebsystemThispapermai

10、nlyfastensonimprovingtheprocessoftheWebsystem，modelingbyTCPNandtheperformanceanalysisoftheTCPNmodelnemainworkofthispaperisasfollows：1W，eanalyzethecharacteristicsofclassicalPetrinetandhierarchicalCPN，andweinvestigate’thed