基本Petri网在信息系统中的建模方法

Petri网丰富的数学分析手段在信息系统性能分析方面有很大的优势。在Petri网的建模方法中,“先概要,后具体”的建模方案比较规范,更适应计算机建模的需要。结合某信息系统,详细说明,使用基本Petri网进行概要建模的步骤和方法。     

基于Petri网的病毒攻击建模

针对威胁计算机网络安全的病毒攻击行为,建立了基于Petri网的病毒入侵网络基本模型,利用CPN tools仿真工具分析了模型的活性和各个库所的有界性,以利于采取有效的网络防御措施和建立安全的防御体系.利用安全策略域、域间通信信道的概念,根据病毒入侵传播的特性,建立了基于随机着色Petri网的企业网络模型,并给出了用该模型模拟与安全相关网络行为的方法.     

基于面向对象Petri网的配送业务流程建模

要建立满足企业需求的快速、高效的流程,对流程进行建模、仿真、分析优化是一种比较科学且经济的方法。现有的研究工作,主要有IDEF系列、ECAA（事件-条件-动作规则）、Petri网等建模方法。其中,Petri网以其独特的优势而成为当今比较流行的建模方法,它既有严格的数学定义,又具有图形表示方法,可用于复杂系统建模。在介绍基本Petri网的概念后,又给出了面向对象Petri网的定义,分析了它的特点,并以面向对象Petri网作为工具,建立了配送业务流程模型,旨在以模型为基础进行流程性能分析．为流程优化提供分析手段。     

一种基于Petri网的面向方面的用例建模方法

对传统的用例建模方法进行扩展,并针对用例描述的文本语言中经常出现的二义性、冲突以及遗漏信息的问题,提出一种基于Petri网的面向方面的用例建模方法。构建了从面向方面用例模型到面向方面Petri网模型的映射规则,引入面向方面的形式化的建模与分析技术,并利用时态逻辑检验织入时机的正确性。最后给出实例和分析,验证了该方法的有效性。     

一种基于有色Petri网的知识库验证方法

以有色Petri网为基础,在经过了必要的功能扩充后,针对知识验证的主要内容,建立了有色Petri网的知识表示模型,提出了一种简洁有效的、基于有色Petri网的知识库验证方法,并给出了相应的判定准则,最后给出了一个说明知识表示模型和知识验证准则的实例。     

基于Petri网的建模支持

把Ｐｅｔｒｉ网应用于基于图形的模型管理和建模支持，为此对Ｐｅｔｒｉ网作适当的扩展以适应模型管理，并提出了数学模型的Ｐｅｔｒｉ网表示方法。研究了Ｐｅｔｒｉ网表示的模型的循环和连通问题，并给出了模型求解过程和模型生成的算法。     

基于着色Petri网的BPEL建模与验证

目的为了保证使用商业过程执行语言(BPEL)描述的Web服务组合的正确性。方法用着色Petri网(CP-nets)对BPEL流程进行建模、分析以及验证。结果定义了一套从BPEL到CP-nets的映射规则,该规则可以将BPEL流程转换成CP-nets,通过着色Petri网工具-CPN tools对该CP-nets进行自动分析以及验证,从而验证该BPEL流程的安全性、活性等性质。结论利用CP-nets这种形式化工具可以有效地发现BPEL流程中存在的设计错误。     

Petri网的一种硬件实现方法

Petri网是一种信息流模型,广泛应用于离散事件动态系统建模及控制领域．随着CPLD、FP-GA等可编程逻辑器件的出现,为Petri网的硬件实现提供了可能．从Petri网的原理出发,根据库所与变迁的本质特点,提出了一种Petri网硬件实现的框架,并详细阐述了如何用硬件描述语言VHDL实现C／E系统、P／T系统以及T-时延等几种典型的Petri网系统．最后用一个带有时延的P／T系统来验证此种方法的正确性．采用这种方法对离散事件动态系统控制器的设计,以及片上并行控制器、多处理器芯片的设计都具有十分重要的意义．     

基于Petri网的数字图书馆系统建模

Petri网是具有形象直观的图形描述以及严格的数学定义的建模工具。通过对数字图书馆书刊流通系统建模,探讨了Petri网在数字图书馆建模中的运用。     

一种构造Petri网可达图的方法

Ｐｅｔｒｉ网是一种系统设计和分析的工具，为了完成Ｐｅｔｒｉ网的各项分析，还需借助如可达树、矩阵方程、可达图等工具．本文将提出可达图的一种构造方法     

基于Petri网的制造系统质量管理流程建模

为满足质量管理体系持续改进的要求,建立了流程重构的定量分析方法.该方法对制造系统质量管理流程进行Petri网建模,并通过行为表达式的分析方法对该模型进行定量性能品质分析,给出质量管理流程各环节的函数关系,用于指导质量管理流程的重构,使得系统能得到更高的吞吐率和更平衡的流程控制.最后基于企业质量管理流程实际案例,建立了工作流模型,给出了分析的实例和步骤.结果表明,本方法可方便地获取流程重构性能指标,并对流程的瓶颈进行定位.     

基于Petri网的兵团空间信息系统运行管理模型

Petri网由于具有图形化和数学化的双重特点,是系统业务过程建模、分析、优化、管理与集成的优秀技术,得到了广泛的应用.简要介绍Petri网,并对兵团空间信息系统进行了分析,然后利用Petri网建模技术来刻画兵团空间信息系统运行管理过程,通过构建管理模型来对系统实施有效的管理,以达到安全、可靠、方便地为兵团各类用户提供服...     

基于一阶流体随机Petri网的回报建模

从回报机制与回报变量的定义、回报模型的建立等方面提出了基于一阶流体随机Petri网的回报模型的一般性建模方法．该方法既可用于建模马尔科夫随机系统，也可用于建模非马尔科夫随机系统．在一阶流体随机Petri网回报模型中，可建模率回报和冲量回报，并可允许累积回报影响被建模系统的动态行为以及回报率本身．     

基于Petri网的ECA规则建模

在Petri网理论基础上,对ECA规则进行了建模研究,建立了基本Petri网模型. 对如何用Petri网表示具有复合事件ECA规则进行了专门分析. 提出了扩展的Petri网系统,并综合考虑ECA规则自身特性,建立了ECA规则系统Petri网模型,比较全面地反映了ECA规则系统特性. 通过构建可达树和变迁序列,可以较为清楚地了解ECA规则系统及其行为特性,便于对规则系统进行合理性验证,以帮助系统管理员对其进行分析和管理.     

混合Petri Net在制造系统建模与仿真中的应用

针对大批量制造系统,建立了一种有效的建模仿真工具——混合Petrinet(PN),并对其进行了数学描述。在混合PN中,连续节点被用来表示大容量库所和短时变迁,解决了传统的离散PN在仿真过程中存在的可达状态爆炸和仿真时间过长的问题。对离散PN和混合PN在事件数量和仿真时间方面进行了比较;运用混合PN对某汽车冲压加工单元进行了建模和仿真,并对其输出缓冲区的容量进行了优化设计,明显提高了设计和分析的效率。     

基于RDF的CIM数据存储方案研究与实现

在分析了公共信息模型(CIM)特点的基础上,提出一种基于资源描述框架(RDF)的CIM数据存储方案。该方案主要根据RDF资源、属性、值三元组的思想,把CIM中的类、类属性关联、类实例都当作一种资源,首先通过将CIM模型映射成一个基于RDF思想的数据模型,将CIM模型中复杂的拓扑结构和关系映射组织成几个简单的类,并通过几个简单的关联类组织类间的关系;然后使用面向对象的实时数据库FastDB存储此数据模型,从而避免了CIM模型向关系模型映射时实现关系(继承、聚合、关联)映射所面临的难点。通过采用简洁良好的数据库实体设计,以及选用面向对象的实时数据库,该方案在遵循IEC61970标准的同时,更好地提高了系统的性能和数据访问效率。     

基于混合Petri网的农业生产工作流建模研究

根据农业生产的实际工作,建构一个基于混合Petri网的工作流模型.混合Petri网一般由连续和离散两个部分组成,模型连续的部分主要反映农田实际工作的进程,离散部分主要表示农机和劳动力等资源状况的变化,提出的模型还可以模拟在生产过程中的工作和间歇状态.仿真结果表明,混合Petri网模型能准确地描述农业生产的过程,在出现不确定因素的情况下能重新分配资源.该模型作为农业生产规划的参考模型,促进在不确定的环境中相关优化算法的发展.     

基于模糊推理Petri网的胶带运输系统故障诊断

分析了胶带运输系统故障的特点及传播过程,将模糊推理Petri网用于胶带运输系统的故障诊断,给出了对应的推理过程及Petri网模型,其有效的模糊推理过程及智能推理能力便于计算机编程求解复杂过程,在胶带运输机控制系统故障诊断中取得很好的效果.     

基于Petri网的合同网任务动态分配模型

文章根据合同网的任务动态分配思想,将多个主体划分为管理者主体和工作者主体2种类型,借助Petri网对任务分配过程中主体之间的协作及信息交互行为进行刻画,建立了具有固定数目的工作者主体和具有不定数目的工作者主体的动态任务分配模型,模型能够描述任务动态分配过程中所有可能出现的情形;同时对网模型系统的有界性、有效终止性和无死锁性进行了形式化的证明.     

基于Petri网的分布式网络单元流量优化

建立了基于Petri网的分布式网络基本模型DNMPN,实现了分布式计算机网络的基本功能,并在此基础上提出了流量优化的Petri网分布式网络模型DNMPNTO,改进了基本模型的重复转发问题。DNMPNTO具有很好的可扩展性,有效地优化了网络单元的流量,提高了网络系统的效率,适用于建立大中型分布式网络系统。