資源描述：
《基于時(shí)間有色petri網(wǎng)的計(jì)算機(jī)聯(lián)鎖系統(tǒng)建模》由會(huì)員上傳分享，免費(fèi)在線閱讀，更多相關(guān)內(nèi)容在學(xué)術(shù)論文-天天文庫(kù)。
1、蘭州交通大學(xué)碩士學(xué)位論文AbstractW油merapiddevelopmentoftherailwaysystem，thedemandforimprovedthesafetyandreliabilityoftherailwaysystemisincreasing．Especiallyarailwaycomputerinterlockingsystem，asasafety—criticalsystem，playsavitalroleintheachievementofsafeandfastoperation．Atpresent，thenumberofnew
2、lybuiltrailwayisbeingvigorouslybuiltandtheoldlinewascompletedtostrengthenandreforillinourcountry．Inordertobeabletoassesstheperformanceofthesestations，weneedtofindtherighttoolsandtechniquestodeterminethequalityoftheselarge-scalecontrolsoftherailwaystation．Thedesignermustensurethata
3、reliablesystemmodelCanbeachievedinordertomeettherequirementsstandardofCENELEC(EuropeanCommitteeforElectrotechnicalStandardization)．Thisarticleisusedtodevelopthemodeloftheinterlockingsystemonthebasisoftheexistingsystemmodel，theaimistoreducedevelopmenttimeandimprovesystemreliability
4、．Petrinetisoneofthemostpopularmodelingmethodscurrentlyused，itoffersasimpleerrortrackingandvisualizationmethodsfordesigners．Petrinetisagraphicalmodelinglanguageandithasbeenproventoprovideagoodformalframeworkforavarietyofcomplexdependenciesandatrulyconcurrentreal—timesystemmodeling．
5、Therefore，ahigh-levelPetrinet-IntervaltimecoloredPetfinet(abbreviationITCPN)isusedtomodelandanalyzethecomputerinterlockingsystemofrailwaystationsinthispaper．ITCPNisextendedintimeofcoloredPetrinet，thetimeofthetokenandtransitiondeterminesthedelayofeachproductiontoken．Ⅲsdelayisspecif
6、iedbyanupperandlowerbounds，thatisatimeinterval．ITCPNallowstomodelforthedynamicbehavioroflargeandcomplexsystems，suchasthemodelingandanalysisofrailwayinterlockingstationsinordertoimprovetheabilitytohandlethelargestation．nlisarticleadoptsITCPNtomodelcomputerinterlockingsystemforasimp
7、lerailwaystation，SOthatacomputerinterlockingsystemmodeltomeettheSystemRequirementsStandardisdeveloped，itscompositiondevices(includingsignals，switchesandtrackcircuit)andtheprocessofroutesettingandlocking／unlockingismodeled．Basedonthis，theformalanalysisofeachmodeliscompletedinordert
8、obeabletoenrichstationinterlockin
