简介：分析了火灾报警与联动控制过程,并利用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访问方式下协议性能计算及结果分析为例验证了该方法的有效性。

简介：由于C^3I系统所具有的分布特点，其功能需求描述必须考虑信息处理和通信两方面，本文从C^3I系统功能分析入手，讨论了一种Petri网建立C^3I系统功能需求的可执行描述模型的方法。

简介：摘要：Petri网具有直观、易懂和易用的优点，它能够较好地描述系统的结构表示系统中的并行、异步、同步、冲突和因果依赖等关系，并以网图的形式，简洁、直观的模拟离散事件系统，分析系统的动态性质，对所研究的系统进行评价和改进。

简介：为了得到更加客观、有效的HSE绩效评价结果,避免模糊Petri网（FuzzyPetriNets,FPN）输入参数初始状态矩阵的确定存在主观随意性问题,综合考虑评价要素的模糊性和随机性,建立了基于云模型的模糊Petri网HSE绩效评价模型。结合绩效评价标准,得到正态云数字特征参数,构建绩效评价云模型。将多位专家打分的均值作为输入云滴,将正向云发生器计算得出的确定度作为FPN的初始状态值,再经过FPN推理得到绩效评价结果。最后通过HSE体系案例分析证明：基于云模型的FPN不仅适用于HSE绩效评价,而且可以为HSE管理提供决策支持。

简介：流程配置是业务流程优化的核心内容之一。现有方法主要是对细粒度的流程模型添加配置信息来实现配置操作,细粒度流程模型中存在许多非重要信息导致配置优化复杂,本文提出了基于业务流程模型抽象的流程配置优化。首先依据行为轮廓对源模型进行抽象,经过抽象后使得细粒度的流程模型可以获得行为保持的粗粒度抽象模型。然后对抽象模型添加配置信息,实现业务流程的配置优化分析。最后通过具体的材料采购业务流程模型实例分析,验证了该方法的有效性。

简介：提出了利用赋时Petri网(TimedPetriNet)对自动测试系统建模和性能分析的方法.采用启发式算法,对系统的可达树进行搜索,实现测试序列的优化,不仅降低了计算的复杂度,而且获得了满意的并行度,提高了自动测试系统的测试效率.

简介：在系统分析HAZOP(hazardandoperability)研究流程的基础上,介绍了具有模糊色的Petri网故障诊断建模方法,该方法可以有效地表示模糊信息.为构建基于知识库的专家系统,提出了一种有效集成HAZOP分析与故障诊断的知识库结构;基于具有模糊色的Petri网建模方法,提出了一种面向在线HAZOP分析和在线故障诊断的知识表示方式,该方式奠定了自动HAZOP分析和故障诊断集成的技术基础.

简介：

简介：Sct.Petric学校位于哥本哈根古老的中世纪城区内,始建于1575年,是所功能完备的私立学校．

简介：业务流程的建模是业务管理的核心内容之一,对业务流程进行建模优化分析变得更加重要。对于建模工具Petri网,其可达性是研究系统动态性质的基础,主要分析系统可能达到的状态和状态间的关系。针对具体的外卖流程,利用可达性树判断其合法引发序列和状态并结合活动间的交互关系对模型增加活动变迁和库所进行优化。

简介：故障的产生和传播是一个动态的过程，具有突发性、并发性和随机性等特点，精确的推理方法难以有效地对复杂特性的故障进行诊断。利用模糊Petri网对舰炮武器系统进行故障分析，首先分析舰炮故障类型以及故障的规则表示形式，然后给出了基于模糊Petri网的故障传播模式模型及其推理算法，最后以某舰炮武器系的弹药盘点异常故障为例进行了建模并用推理算法计算故障发生概率。结果表明，该模型具有直观和表达能力强的优点，可应用于工程实践。

简介：在导弹打击流程中加入了战术遂行级的效果评估，建立了导弹新型打击流程的广义随机Petri网模型，并在同时考虑随机概率事件与异步并发事件的情况下，利用随机Petri网分析方法对模型进行了分析与求解，得出了导弹打击活动的准确作战周期，对评估系统效能水平具有重要指导意义。

简介：针对WMN中出现的安全问题，提出了利用WMN多径特性的密钥协商模型，可以在防止中间人攻击的同时发现网络中的变节节点。采用Petri网理论对模型结构特性及安全性进行形式化分析，对发现的漏洞给出解决方案。通过引入新的变节节点的检测安全模型和算法，使WMN的安全性得到增强。

简介：CognitiveRadio(CR)systembasedonOrthogonalFrequencyDivisionMultipleAccess(OFDMA),suchasWirelessRegionalAreaNetworks(WRAN)andWorldwideInteroperabilityforMicrowaveAccess(WiMAX),oftenattempttoimproveperformanceviadynamicradioresourcemanagement,whichischaracterizedasconcurrentprocessingofdifferenttrafficandnondeterministicsystemcapacity.Itisessentialtodesignandevaluatesuchcomplexsystemusingpropermodelingandanalysistools.Inthepreviouswork,mostofthecommunicationsystemsweremodeledasMarkovChain(MC)andStochasticPetriNets(SPN),whichhavetheexplicitlimitationinevaluatingadaptiveOFDMACRsystemwithwideareatraffic.Inthispaper,wedevelopanexecutabletop-downhier-archicalColoredPetriNet(CPN)modelforadaptiveOFDMACRsystem,andanalyzeitsperformanceusingCPNtools.TheresultsdemonstratethattheCPNcanmodeldifferentradioresourcemanage-mentalgorithmsinCRSystems,andtheCPNtoolsrequirelesscomputationaleffortthanMarkovmodelusingMatlab,withitsflexibilityandadaptabilitytothetrafficswhicharrivalintervalandprocessingtimearenotexponentiallydistributed.

简介：在SIP体系中加入实现RBAC的PMI服务器，可以在增强SIP上开发增值业务灵活性的同时增强系统的安全性，但与对原有体系的改变可能会带来新的安全性问题，因此有必要对新系统进行分析以检验其安全性。用Petri网理论对系统进行形式化分析，发现了系统存在易被恶意用户进行重放攻击的安全隐患，并针对这个漏洞提出了相应的安全解决方案。

简介：目前常用加权和、层次分析、模糊综合评价等方法对复杂武器系统性能质量状态进行评估,没有考虑内部子系统的相互影响,不能真实反映系统整体的质量状态。为了准确评估复杂武器系统性能质量状态,利用Petri网的正向推理性质,将基本Petri网改进优化,建立基于Petri网的复杂武器系统性能质量评估模型(PQEPN),很好地描述了复杂武器系统性能质量状态变化的层次性、相关性和多发性等特点,弥补了常用评估方法的不足,使评估结果更加真实准确;并结合某型武器系统进行了实例验证。

简介：神经网络的Petri网模型如图1所示,建立该过程故障诊断的ANN-Petri网模型如图3所示,建立基于遗传算法的故障诊断ANN-Petri网模型

简介：工作流技术在现在以及将来都是计算机应用领域的一个研究热点，工作流技术支持的电子政务系统具有良好的适应性和灵活性。该文研究了工作流技术在电子政务系统中的特点及应用，提出了适合政务领域的通用工作流模型，并简要地介绍了基于Petri网的工作流模型，结合具体的实例，分析了WFOA开发中模型的建立及流程的管理和监控，实现了工作流管理系统的Petri网建模。