摘要：性能计算对随机petri网模型的性能分析具有重要作用。以研究随机petri网性能计算软件关键技术为主要目的,提出了一种独立于计算(CIM)的性能计算软件体系结构元模型,并以此元模型为依据,遵循面向对象的系统分析与设计方法给出该软件独立于平台(PIM)的软件体系结构模型,对核心算法设计方案采用先计算基础性能数据,再计算扩展性能数据的策略分步骤完成,并给出了基于MVC模式实现的PSM模型实例和一个电子农务应用案例。最后,给出了同类性能计算软件的设计可适用此开发方法的初步结论。

摘要：通信中间件由于其在屏蔽网络通信复杂性和提高系统性能等方面所起到的重要作用而被越来越广泛地应用。文章运用随机petri网对通信中间件系统进行了描述,建立了一个实时通信中间件的同步及消息队列的模型。并对该模型的系统吞吐量、请求的平均延时等性能进行了评价,为系统的进一步设计和配置提供了理论依据。

摘要：以建立随机petri网性能计算软件的软件体系结构为目的,采用面向对象的系统分析与设计方法,在对性能计算软件需求分析的基础上,设计了系统的总体结构,进而实现了系统各个模块的功能。提出由三个主要构件组成的性能计算软件体系结构:人机交互模块,主控模块,性能计算核心模块。做出该软件体系结构适用于基于基本建模理论性能计算软件的结论。

摘要：针对企业档案管理的业务流程,进行了档案管理系统的功能设计。给出了随机petri网的模型精化方法,实现了对petri网决策模型的精确和简化。提出利用随机petri网对档案管理系统的主要功能进行建模与分析。档案管理系统的主要业务活动根据对象模型的不同进行了分解,并利用随机petri网模型将分解的各个对象进行变迁连接。最后,基于随机petri网进行了企业档案管理系统的建设。系统应用结果表明,所建立的随机petri网模型实现了企业档案管理系统中物流和信息流的精确描述,在很大程度上支持了企业档案管理流程的动态建立和资源的优化配置。

摘要：传统的软件能耗测量方式是在软件设计完成后进行实际测量从而得到能耗值,不能在软件的设计初期形成一定的数据量为开发做出参考。为此,从体系结构层面对软件进行构件化处理,基于随机petri网分别对构件、接口、连接件各模块进行建模与分析,构造出嵌入式软件能耗模型ESPN。给出寻找3种能耗路径的方法,根据能耗状态可达图对软件能耗进行预测并求得其确切值。通过实例化分析与设计验证了该模型的有效性。

摘要：地区电网事故一般是由多重并发故障的复杂序列引起的。如果能在事故前建立系统事故链模型,分析出造成系统事故的复杂事件序列,将有利于对电力系统事故进行监控。该文提出了基于随机petri网(SPN)建立地区电网事故链模型的新方法,设计了一种快速动态搜索算法,根据负荷和结构的变化快速求取地区电网事故链,并根据定量分析确定需要重点监控的危险事故链,在此基础上设计了针对地区电网事故影响因素的预控算法。最后对某地区电网进行了实例分析,结果表明该方法具有有效性和正确性。

摘要：本文对用petriNet建模的系统进行活性性质的定量的分析,随后利用随机petriNet和连续时间的马尔可夫链同构的性质,应用所获得的同构马尔可夫链对求得稳定状态概率的子系统的后继状态转移概率进行了详细的定量分析,从而为入侵检测系统的设计提供理论根据。

摘要：目前,中欧班列已成为我国与“一带一路”沿线国家联系最为紧密的纽带和共建“一带一路”的标志性成果。作为中欧班列运行的重要支撑载体及影响班列高质量运行的基本要素,中欧班列场站在运输组织中存在的问题逐步显现,日益成为制约中欧班列高质量发展的瓶颈。结合对郑州铁路集装箱中心站实际调研情况,在详细梳理中欧班列出口作业流程的基础上,构建随机petri网模型对其性能进行分析,诊断作业流程存在问题,从多层面、多维度提出优化解决方案,对比分析优化前后作业流程,结果表明优化后作业周期时间缩减37.79%,同时各环节发生拥堵概率也大大降低。通过改变中欧班列作业流程结构和流程速率,达到提高中欧班列场站作业效率和提升服务质量的效果,使中欧班列出口作业流程更高效、更便捷。

摘要：可靠性是可信性研究的基本内涵之一,也是P2P(Peer-to-Peer)存储系统研究的关键。P2P存储系统结点具有高动态特征,结点频繁地上下线给系统的可靠性分析带来困难。结点的暂时离线会增加副本数量,从而导致系统不必要的损耗。较多的副本数量会增加系统的可靠性,但是同时会导致系统的一致性维护成本增加。而较少的副本数量又会导致系统的可靠性显著降低。针对副本的数量和可靠性之间的关系,采用随机petri建立了P2P存储系统的可靠性模型并加以分析,围绕数据可靠性度量要求和数据副本的数量建立关系模型,从理论上指明研究系统可靠性的目的和基本原则,这可以在系统组建之初帮助优化系统的设计。

摘要：随机petri网(SPN)是一种灵活有力的建模工具,在可信赖性研究方面已形成较为成熟的理论体系。采用SPN网对机群系统前端分配器及后端服务器进行建模,通过在系统建模时对前端分配器给予必要的修复保证,给出整个机群系统的SPN模型,在模型分析的基础上给出了机群系统的可信赖性参数,并对模型进行了仿真分析。仿真结果表明,在对关键系统前端分配器给予修复保证后,系统模型的稳态可用性将大大提高。