简介：Petri网作为一种有完备自动化理论的形式描述语言，既有严格的数学表述方式，也有直观的图形表达方式。在科学研究与实践工程中得到了广泛运用。Petri网自身也在不断的变化发展之中，在基本Petri网的基础上，添加了很多新的语法特性，增强了Petri网的描述能力。新特性的加入在丰富了语义概念的同时，也带来了兼容性、完备性、一致性的问题，所以有必要对Petri网语义方面的研究做一个梳理．为今后研究角度的选取与内容的甄别做前期铺垫。本文综述了Petri网语义方面的研究现状，主要集中在Petri网语义的转换、扩充及其在具体运用中的语义．

简介：TopicsofcurrentinterestInthelastissueofthisjournal“ELECTRICITY,CSEE”areportwaspresentedontheInternationalConferenceonPowerSystemTech-nology’91wherespecialistsfrom15countriesweregatheredtogethertodiscusstopicsofcommoninterest.Severaloutstandingproblemsdeservespecialreport.Forinstance,thegreenhouseproblemwasreportedinthisissueunderthecolumnofpowerandenvironment.Theoperator’strainingsimulatorisreportedinaspecialarticleinthisissue.Sinceaseriesoflargescaleblackoutsoccurredinseveralcountries,particularlythe1977NewYorkCityblackout,peoplerealizedthatoperatorsinthemodemfullycomputerizedandautomatedcontrolcenterneedconstantpracticeonasimulator,sothattheycanbefullypreparedtohandlesuddenattacksofseveredisturbances.Thecurrentprob-lemsandviewsfromseveralcountriestakingpartinthepaneldiscussionwerereportedinthisissue.Somenewtechniquesattractingmuchattentionfromresearchersinthefieldofpowersystemtechnology,suchasfuzzysystems,ExpertSystems,ArtificialNeuralNetworksandPetriNetswerediscussedtoquitesomeextentinthisconference.Theyarealsoreportedinthisissue.Morespecialsubjectswillbereportedinlaterissues.(Ed.)

简介：私人信息漏缝行为广泛地在恶意软件和可疑应用程序被发现了。我们把如此的软件叫作隐私漏缝软件(请)。现在，请成为了一个严重、挑战性的问题到电子安全。以前的方法论具有二个范畴：一个人集中于应用程序的开往外地的网络交通；其它潜入里面应用程序的信息流动。我们在场一个抽象模型把隐私称为对各种各样的应用程序和对用户直觉、生动的更多更适用的Petri网(PPN)。我们在真实世界上把我们的途径用于恶意软件和可疑应用程序。试验性的结果证明我们的途径罐头有效地为目标软件发现私人信息漏缝的范畴，内容，过程，目的地和严厉。

简介：ThispaperputsforwardanewfaultdiagnosismodelbasedonPetrinet.Inthisnewfaultdiagnosismethod,anassociatedtreeisfirstdefinedtodescribethelogicaccordingtotheprotectionsandcircuitbreakers.AfterthataPetrinetdiagnosismodelcomesintobeingandtheprecisediagnosisofpowergridelementscanberealizedatthesametime.Thesimulationresultsgiveninthispaperillustratethatthisfaultdiagnosismethodcanmakearapiddiagnosisincomplexfaultsituationandgiveaccurateresultstopowergridfaultdiagnosis.

简介：

简介：Multimediasynchronizationisasignificantrequirementfordistributedmultimediaapplications.Inthispaper,amultimediasynchronizationmodelbasedontimedPetrinetsispresented.Usingthismodelonecangivetheabstractionandformaldescriptionformultimediaobjectcompositionswithtime-constrainedrelations.Algorithmsforasynchronoususerinteractionsarealsopresented.

简介：Petri网模型是FMS动态仿真的有利工具.本文利用面向对象方法对FMS和有色赋时Petri网进行了描述,并根据最小下次事件时间推进原理,利用VisualC++建立了动态调度仿真系统.结果表明,面向对象方法具有表达直观和自然,可扩充性,实现容易和简便等优点.

简介：

简介：选课系统是高职院校教务管理的重要组成部分，由于系统的用户众多，使用时间集中，选课流程繁琐，对系统性能提出了较高的要求。本文采用Petri网技术来设计开发选课系统，提高了系统的稳定性和信息处理能力，实现了系统的业务流程可变更和多用户协同工作的功能，获得了较好的效果。

简介：为了有效地进行火力分配，利用有色Petri网对火力分配过程建模，形象直观地描述了分配过程中事件的不确定性、并行性和资源共享等特征，同时有效地解决了模型中存在的冲突、死锁等问题，并克服了普通Petri网建模时复杂繁琐的缺点。

简介：其中W(p1)=W(p0)．F(t1)=0.90．0.90=0.81,W(p5)．F(t6)=0.53．0.75=0.40,W(p0))且p=P0

简介：

简介：摘要：为了优化我国铁路货运业务流程，促进铁路货运业务的良性发展，对铁路货运流程的优化应当综合利用信息化技术，构建智能铁路电子商务平台，形成一个综合服务体系。采用层次化建模方法对业务流程进行模型建立与分析，找出模型中的不合理结构，应用关联矩阵重组优化规则对模型进行优化。最后以时间为参考因素，对优化前后的业务流程进行比较。实验结果表明改进后的货运流程在时间效率方面得到了明显的提升。

简介：Inthispaper,Petrinetstechniqueisintroducedintomobileadhocnetworks(MANET)andapacket-flowparallelschedulingschemeispresentedusingStochasticPetriNets(SPN).Theflowingoftokensisusedingraphicsmodetocharacterizedynamicalfeaturesofsharingasinglewirelesschannel.ThroughSPNreachabilityanalysisandisomorphiccontinuoustimeMarkovprocessequations,somenetworkparameters,suchaschannelefficiencyand,one-hoptransmissiondelay,canbeobtained.ComparedwithThoseofTheconventionalperformanceevaluationmethods,theaboveparametersaremathematicalexpressionsinsteadoftestresultsfromsimulator.

简介：为了对混合系统进行有效地建模,提出了一种扩展的面向对象混合Petri网(EOHPN)建模方法.针对混合系统的复杂性,在EOHPN模型中融入了面向对象的抽象机制,例如封装和类定义.为了结合混合系统的连续部分和离散部分,减少混合系统的复杂性,引入混合Petri网并用面向对象建模技术作了扩展.在定义EOHPN模型的基础上,拓展了对象模型.最后,用实例描述了基于EOHPN的混合系统建模过程,同时验证了EOHPN模型在处理复杂混合系统建模时是有效的.

简介：１ＩｎｔｒｏｄｕｃｔｉｏｎＯｖｅｒｔｈｅｐａｓｔｄｅｃａｄｅ，ＦｌｅｘｉｂｌｅＭａｎｕｆａｃｔｕｒｉｎｇＳｙｓｔｅｍｓ（ＦＭＳ）ｈａｖｅｒｅｃｅｉｖｅｄｓｉｇｎｉｆｉｃａｎｔａｔｔｅｎｔｉｏｎｆｒｏｍｒｅｓｅａｒｃｈｅｒｓａｓａｎｅｗｍａｎｕｆａｃ...

简介：针对震后次生灾害的演化问题，本文采用多案例分析方法提取地震及其次生灾害事件的属性，从属性层次按照“事件类型、关键属性、从属属性、环境属性和危害评估属性”对其进行结构化描述，分析震后次生灾害事件的属性特征，绘出了震后次生灾害演化Petri网模型。在此基础上，以渐变型次生灾害事件——震后瘟疫为例，根据随机Petri网与马尔科夫链的同构关系，构建了震后瘟疫事件演化系统随机Petri网模型。最后，通过马尔科夫链及相关数学方法对震后瘟疫事件演化系统进行了评估，分析其中的均衡状态及其变动规律，验证了模型的有效性，为应对地震次生灾害事件提供科学的应急决策支持。

简介：分析了火灾报警与联动控制过程,并利用Petri网对这一过程中事件的异步、并行、冲突等重要特征进行描述,并实施分析、研究,对数据处理算法予以优化,最后给出了基于Petri网的火灾报警控制系统模型。

简介：ThispaperproposesandevaluatestwoimprovedPetrinet(PN)-basedhybridsearchstrategiesandtheirapplicationstoflexiblemanufacturingsystem(FMS)scheduling.Thealgorithmsproposedinsomepreviouspapers,whichcombinePNsimulationcapabilitieswithA*heuristicsearchwithinthePNreachabilitygraph,maynotfindanoptimumsolutionevenwithanadmissibleheuristicfunction.Toremedythedefectsanimprovedheuristicsearchstrategyisproposed,whichadoptsadifferentmethodforselectingthepromisingmarkingsandreservestheadmissibilityofthealgorithm.Tospeedupthesearchprocess,anotheralgorithmisalsoproposedwhichinvokesfasterterminationconditionsandstillguaranteesthatthesolutionfoundisoptimum.TheschedulingresultsarecomparedthroughasimpleFMSbetweenouralgorithmsandthepreviousmethods.Theyarealsoappliedandevaluatedinasetofrandomly-generatedFMSswithsuchcharacteristicsasmultipleresourcesandalternativeroutes.

简介：摘要本文首先提出了增强广义随机Petri网，增加了标识相关弧多样性和实施函数等特性，扩充了广义随机Petri网的模型功能，并给出了EGSPN的性能分析方法，建立了基于随机Petri网的802.11协议模型，并以RTS/CTS访问方式下协议性能计算及结果分析为例验证了该方法的有效性。