资源描述：
《基于petri网的列控系统的一些关键问题的分析》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。
1、基于Petri网的列控系统的一些关键问题的研究AbstractWiththeinformatizationofpeople’sdailylifeandindustrialproduction,thequalityofsoftwaredevelopmentispaidmoreandmoreattention.Bringambiguity,vagueness,incompletenessandabstractlevelofmixedproblems,traditionalsoftwaredevelopmentmethodinthean
2、alysisanddesignprocesshasmoredifficulttomeettheneedsofmodernsoftwaredevelopment,especiallylarge-scalesystemsafetyrequirementsveryhigh,anytinyerrormayleadtolife-threateningandseverelyeconomicconsequences.Underthisbackground,formalsoftwaredevelopmentmethodbegantoreceive
3、attentionofsoftwaredevelopers.Thebenefitsthatformalsoftwaredevelopmentmethodbringsareself-evident,itcaninthedesignprototypestageofsoftwareengineeringminimizeerror,shortenthedevelopmenttime,helpsoftwaredevelopersdesignmorereliablesystem,andisconvenienttocommunicateeach
4、otherfordevelopers.Formulationisamethodthatstrictlybasedonmathematics,throughtheanalysisandverificationofthesoftwaredevelopmentprocessofvaguenessandincompleteness,soastoapproachtheeffectivecontroloverperformanceindicators.Formulationisdividedintotwoparts:formalspecifi
5、cationinstructionandformalverification.Petrinetsisakindofbetterformaldescriptiontoolthatcurrentlymeettheaboverequirements.Thetraincontrolsystemlinkedtheadvancedcontroltechnology,communicationtechnology,computertechnologyandrailwaysignaltechnologyorganicallytogether,as
6、animportantmeanstoensuretheoperationefficiencyandsafety,thenumberofthetraincontrolsystem’sunitsislarge,andphysicalsystemiscomplexity,scalelargeandthereal-timeandreliabilityrequirementsareveryhigh,tomakesystemrun,needeverysubsystemcoordinatework.Asaformaldescriptiontoo
7、l,Petrinetsisbasedonstrictmathematics,atthesametimealsohasagraphicalconcise,simpleandintuitive,easytounderstandanduse.Althoughthecompleteformaloflargesoftwaredevelopmentwilltaketime,thedomesticandforeignrelatedfieldstaffhavedonealotofwork,somesystemicsoftwaredevelopme
8、ntplatformhasbeenputintouse,thecombinationofformaldevelopmentandsimulationtechnologyintheapplicationlevel,hasbecomethefuture
