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

1、中國石油大學(xué)（華東）碩士學(xué)位論文基于賦時著色Petri網(wǎng)的Web系統(tǒng)建模仿真與性能評價姓名：劉璐璐申請學(xué)位級別：碩士專業(yè)：計算機軟件與理論指導(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