基于带标记的并发可达标识图的关键路径的求解方法

将AOE网转换成有色时延Petri网模型,在模型转换过程中同时计算出各位置所对应的事件的最早开始时间,给出了模拟AOE网的有色时延Petri网模型的带标记的并发可达标识图的构建算法;利用并发可达标识图中的标记序列直接得到关键路径并计算出完成所有活动所需的最短时间。实例与仿真实验结果表明,当AOE网中平均存在3个以上的并发活动时,所提方法执行效率优于传统的求解关键路径的算法,并发活动越多,所提算法效率越高。

基于主机中心模型的攻击图生成与分析方法

通过结合主机中心模型与可达标识图的特点,给出了一种基于主机中心模型和可达标识图的攻击图分析方法。该方法以主机为中心,计算出直接漏洞利用后主机对之间所能达到的最高访问权限,并利用可达标识图可对直接漏洞利用后的网络状态进行分析。为分析网络的安全特性提供了有利的参考。

随机Petri网在煤矿水害处理流程中的应用研究

水害作为煤矿开采中的主要灾害之一,直接影响井下生产安全。为保障工作人员的生命安全,确保矿井生产的稳定性,提出了用随机Petri网对煤矿水害处理流程进行建模的方法,根据模型的可达标识图同构的马尔科夫链来对库所繁忙率和变迁利用率2个性能指标进行计算分析,为日后对疑似水害的处理流程进行优化提供了新思路。

数据库系统并发控制的扩展有色Petri网方法

加锁与可串行化是并发控制中采取的2个主要措施.两段锁协议(two-phase locking protocol,简称2PL)是解决可串行化调度较好的方法之一,但满足可串行化的调度可能会出现死锁.为此建立了多个事务并发访问数据库的扩展有色Petri网模型,该模型可使并发事务的调度符合两段锁协议.利用该模型的可达标识图,给出了判断满足两段锁协议的调度是否死锁的充分必要条件,并由此构造出并发事务的无死锁的可串行化调度.

T-时延离散Petri网的运行原理及其性质

T-时延离散Petri网(TTDPN)常用来描述与时间有关的离散系统,因而研究其运行原理及性质是必要的。首先给出了变迁可激发的定义及激发规则,然后讨论了T-时延离散Petri网的运行原理和可达标识图的构造方法,最后给出了两个性质。

多处理器调度算法实现及其Petri网建模与仿真

多处理器调度算法在嵌入式实时系统领域中起着关键的作用。根据多处理器的特点,提出一种实时多处理器动态分割并行调度算法SPara。该算法解决了此前多处理器算法,如Myopic、EDPF等仅依据截止期对任务调度产生的问题,实现了增加任务紧迫度限制的调度策略,以及针对执行时间长、截止期紧迫任务的有效调度方法。同时算法结合高级颜色时间Petri网理论进行建模并仿真。测试结果表明,SPara算法在处理器利用率以及调度成功率方面较Myopic等算法有较大提高。

基于有色Petri网并发进程模型及死锁避免方法

并发进程具有明显的异步并发性,而Petri网是描述异步并发系统的有效工具,但是目前将Petri网用于并发进程控制问题的研究还几乎没有。为此通过引入扩展有色Petri网,为并发进程建立了模型,并给出了避免死锁的有效方法。

并发事务无死锁的可串行化调度的形式化方法

并发控制是多用户数据库管理系统(DBMS)的重要内容之一。该文对其形式化方法进行了研究,建立了符合两段锁协议的扩展有色Petri网模型。利用该模型的可达标识图,给出了判断满足两段锁协议的调度是否死锁的充分必要条件,并由此构造出并发事务的无死锁的可串行化调度。

基于Petri网的数据库系统并发控制活性分析

从数据库系统在时刻t的状态N出发,构造出相应的Petri网模型,进而构造出其可达标识图。通过分析可达标识图,可判断系统是否为死锁状态。若不是死锁状态,系统是否可能出现死锁,什么情况下系统肯定不会出现死锁。最后,给出了数据库系统中事务并发操作的死锁检测方法与避免措施。

基于Petri网的并发系统活性分析

本文从数据库系统在时刻 t的状态 N出发 ,构造出相应的 Petri网模型 ,进而构造出其可达标识图 .通过分析可达标识图 ,可判断系统是否为死锁状态 .若不是死锁状态 ,系统是否可能出现死锁 ,什么情况下系统肯定不会出现死锁 .最后 。

事故预测分析的PETRI网

对事故预测分析Ｐｅｔｒｉ网模型中的事件、逻辑门表示及其模型构造进行了讨论；文中以一事故为例，对其ｐｅｔｒｉ网、ｐｅｔｒｉ网的可达标识图制作做了较为详细的介绍。在此基础上，分析可达标识图，求出导致事故发生的最小割集和最小径集，为控制事故的措施选择提供了可靠的理论依据。该方法表现直观，为事故的预测分析开辟了一条新的途径。

随机Petri网可视化软件的设计与实现

针对随机Petri网建模设计与分析的复杂性问题,通过面向对象方法在VisualC++环境下利用MFC开发了可视化的随机Petri网建模和分析工具SPNSim。利用广度优先思想,设计了可达图的生成算法,给出了随机Petri网模型的编辑器,用户可以直观方便地进行随机Petri网编辑,同时还能进行模型分析,得到可达图、稳态概率等随机Petri网特性和系统性能指标。通过对一个实例的建模与分析,结果验证了软件工具SPNSim的正确性和可用性。

理发师问题的Petri网模型

讨论在操作系统中研究的关于进程间通信(IPC)的一个著名的问题:睡眠的理发师问题。给出这个问题的Petri网模型和这个Petri网的可达标识图性质。

基于面向对象模糊Petri网的信息物理系统能耗模型

信息物理系统是一种融合了计算、通信和控制的高级嵌入式系统,其能耗分析方法是目前的热点研究问题。文中针对CPS的模块化架构与其组件能耗的不确定性,提出面向对象模糊Petri网作为一种新的CPS能耗模型。在该模型中,CPS的模块化逻辑结构与功能流程由面向对象技术描述,而其不确定性则通过使用模糊数学理论对模型中的变迁能耗属性进行模糊化的方法来处理。在此基础上,提出了基于OFPN可达标识图的CPS组件能耗分析算法。该算法分析并统计能耗的模糊值后进行解模糊,并输出各组件的最低能耗与最高能耗的精确数值结果。最后通过一个智能厚板生产线的实际CPS案例的建模与能耗分析,进一步说明了该方法的可行性。

基于Petri网的软件架构演化波及效应分析

Petri网是一种系统描述和分析的工具。在构造系统PSA模型的基础上,利用其可达标识图同样能分析软件架构演化中的构件删除、增加、修改以及合并与分解各种变化引起的波及效应,且算法直观、复杂度小;并为运用Petri网技术研究SA提供了一个新思路。

基于层次Petri网的多主体系统分析

对多主体系统进行准确的描述和分析是保证多主体系统顺利进行的关键因素之一。将主体的动作分为内部动作和外部动作,主体的内部动作通过petri网系统进行描述,进一步得到多主体系统的层次petri网系统。提出了多系统的目标计划生成算法,该算法实质是将主体的内部动作用变迁元素替代,得出替代后的多主体系统的层次petri网的可达标识图,进而可以得出多主体系统的目标计划。通过利用变迁元素替代主体的内部动作,可以有效地减小状态空间爆炸问题。

基于Petri网的电梯群控系统设计

众多的电梯群控系统设计解决方案仅仅基于某一具体功能模块,少有整体系统设计.为此,本文使用Petri网建模工具给出了电梯群控系统的有效模型.该模型除了整体设计外,包括程序设计流程概要建模和局部功能细化,以及电梯低高速的切换和根据交通模式切换不同停留模式的实现细节.最后用S-不变技术、可达标识图等对模型进行了验证.

基于Petri网的拼团流程模型优化及验证分析

目前,越来越多的人倾向于拼团购物,从而获得以优惠价格购买商品的资格。在拼团流程中,为了实现顾客与商家互利共赢,并尽可能的满足顾客需求,为顾客提供更多的选择性,本文针对拼团流程模型进行优化分析。首先给出了基本的拼团流程模型。其次,构建了使用新功能卡的流程模型,然后通过分析流程模型中活动间间接的交互关系,将两个流程模型合并,同时增加相关的控制结构对其进行优化。最后基于Petri网化简的方法利用可达标识图验证了流程模型优化的合理有效性。

具有死锁和陷阱结构的模糊Petri网性态分析

Petri网是一种具有动态特性的建模工具,模糊Petri网是Petri网的一个重要分支,可以有效处理具有不精确的、不确定的复杂因素的系统模型问题。本文在模糊动态Petri网的定义和运行规则基础上,研究了具有死锁和陷阱结构的模糊Petri网系统,通过配置不同的初始标识,分析其动态运行特性,并给出算例分析。

P2B融资平台的效率分析

一、引言Petri网在供应链管理中的应用,主要集中在供应链绩效分析、供应链管理流程优化和供应链建模等方面。而本文分析的P2B借贷平台的流程分析,应用petri模型可以分析每个环节的效率,可以为正在蓬勃发展的P2B行业提供一些建议,企业可以根据每个环节需要的时间进行合理安排,通过对供应链建模与分析从而进行绩效评价,可以为评价P2B企业平台的运作绩效评价提供参考。二、建模过程该平台首先是个人投资者有投资赚钱的欲望。