资源描述:
《混成系统的可达性分析 petri网系统的可达性研究》由会员上传分享,免费在线阅读,更多相关内容在教育资源-天天文库。
1、混成系统的可达性分析Petri网系统的可达性研究导读:就爱阅读网友为您分享以下“Petri网系统的可达性研究”的资讯,希望对您有所帮助,感谢您对92to.com的支持!error2=lamda2*error2error3=0;%onlyonetransforminonerowfori=1:nforj=1:t-1fork=j+1:t10error3=error3+x(j,i)*x(k,i);endendenderror3=lamda3*error3end3.国外相关研究机构LancasterUniversity(ComputerScien
2、ce)AddressComputerScienceDepartment,LancasterUniversity,10LancasterWWWNetModelsColouredPetrinets,ordinaryPetrinetsResearchTopicsinPetriNetsApplicationofPetrinetstomobileroboticsandmechatronicsusingpartiallyautomaticallygeneratedcodebasedonthePetrinetmodel.Relatedissuessu
3、chasmodelchecking.ToolsDevelopingTRAMP(ToolkitforRapidAutonomousMobilerobotPrototyping)Papers10ContactsAngieChandler()LAAS-CNRS(OrganizationandControlofDiscreteSystems)AddressLAAS-CNRS,OrganizationandControlofDiscreteSystemsWWWNetModelsPetrinetswithobjectsResearchTopicsi
4、nPetriNets55Applicationtomanufacturingsystemsandindustrial10processes(supervisorycontrolandmonitoring),Relationshipswithlogic(linearlogic,reasoningwithtime,fuzzymarkings,diagnosis)ToolsMISS-RdP(developedbyIXI)PapersContacts()HumboldtUniversityofBerlin(PetriNetTechnology)
5、AddressesHumboldtUniversityofBerlin,ComputerScienceDepartment10TechnicalUniversityofBerlin,ComputerScienceDepartmentWWWhttp://www.informatik.hu-berlin.de:80/PNT/NetModelsLow-LevelPetrinets,AlgebraicHigh-LevelPetrinets,ColouredPetrinets,Higher-OrderPetrinetsResearchTopics
6、inPetriNetsConception,theoreticalfoundationandvalidationofanappliedPetriNetTechnology,Petrinetconstructionkitconsistingofindividualbuildingblocksalongwithrulesforcombinigthem,processmodel,integrationofotherformalorsemi-formaldescriptiontechniques,universalapproachtodescr
7、iptionandclassificationofPetrinets,datatypedescriptiontechniques,horizontalandverticalstructuringprinciples,transformationbetweendifferentnetclasses,specificationandverificationconceptssuchastemporallogic,analysisandsimulationtechniquesforPetri10netsPapershttp://www.info
8、rmatik.hu-berlin.de:80/PNT/pnt-public.htmlContactsProjectmanagement()BerlinUniversityofTechnologyAddres