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

简介：核心银行业务系统结构的转型升级可以极大提高金融机构的业务处理能力,增强银行的核心竞争力,但由于核心银行系统结构复杂,其转型升级过程涉及风险难以预测。文章拟通过引入着色Petri网替代繁冗复杂的数学运算,模拟核心银行系统转型升级项目实施过程中的风险发生情况,实现对项目风险管理措施的改进和完善。

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

简介：为了有效地进行火力分配，利用有色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

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

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

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

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

简介：摘要本文首先提出了增强广义随机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分析和故障诊断集成的技术基础.

简介：[篇名]△-ListVertexColoringinLinearTime,[篇名]ABoltzmannmachincfor-solvingtimetablingproblcm,[篇名]Aconsiderationofchannelassigmmentproblemsonmultihopwirelesscommunications,[篇名]Afasteroptimalregisterallocator,[篇名]Ahistoricalsurveyofbengalainviewofartandscience,[篇名]ANew3-ColorCriterionforPlanarGraphs.

简介：

简介：

简介：ANoteonSynchronizedAutomataandRoadColoringProblem；ANOVELAPPROACHFORTHEEQUALIZATIONOFLOWFREQUENCYRESPONSEINTHEAUTOMOTIVESPACE；ANOVELIMPROVEMENTTECHNIQUEFORHIGH-EVELTESTSYNTHESIS；APracticalRWAAlgorithmBasedonLookupTablefotEdgeDisomtPaths;ASTATISTICALERRORANALYSISFORVOXELCOLORING;Aviewwithmaskforcell-leveldataaccesscontrol