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

1

作者 韩耀军 《计算机科学》 CSCD 北大核心 2016年第11期121-125,141,共6页

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

关键词 有色时延Petri网 并发可达标识图 AOE网 关键路径

在线阅读 下载PDF 职称材料

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

2

作者 卢静君 姚淑珍 黄河 《系统仿真学报》 CAS CSCD 北大核心 2008年第S2期190-193,共4页

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

关键词 主机中心模型 攻击图 可达标识图 漏洞

在线阅读 下载PDF 职称材料

数据库系统并发控制的扩展有色Petri网方法 被引量：6

3

作者 韩耀军 蒋昌俊 罗雪梅 《同济大学学报（自然科学版）》 EI CAS CSCD 北大核心 2004年第1期104-108,共5页

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

关键词 可串行化 两段锁协议 死锁 PETRI网 可达标识图

在线阅读 下载PDF 职称材料

随机Petri网可视化软件的设计与实现 被引量：4

4

作者 王佳慧 王书锋 《计算机工程与设计》 CSCD 北大核心 2011年第5期1845-1848,共4页

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

关键词 随机PETRI网 建模工具 广度优先算法 面向对象 可达标识图

在线阅读 下载PDF 职称材料

T-时延离散Petri网的运行原理及其性质 被引量：4

5

作者 赵义军 吴哲辉 《系统仿真学报》 CAS CSCD 北大核心 2007年第A01期47-48,54,共3页

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

关键词 T-时延离散Petri网 预定(非预定)标记 可达标识图 激发频率

在线阅读 下载PDF 职称材料

多处理器调度算法实现及其Petri网建模与仿真 被引量：2

6

作者 王异奇 刘青昆 张健 《计算机应用》 CSCD 北大核心 2011年第4期938-941,共4页

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

关键词 实时多处理器 并行调度 任务分割 PETRI网仿真 可达标识图

在线阅读 下载PDF 职称材料

基于有色Petri网并发进程模型及死锁避免方法 被引量：2

7

作者 刘荣峰 李引珍 《计算机工程与应用》 CSCD 北大核心 2007年第6期48-49,94,共3页

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

关键词 并发进程 PETRI网 死锁 可达标识图

在线阅读 下载PDF 职称材料

并发事务无死锁的可串行化调度的形式化方法 被引量：1

8

作者 罗雪梅 王薇 韩耀军 《计算机工程与应用》 CSCD 北大核心 2004年第10期181-183,229,共4页

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

关键词 并发控制 可串行化 两段锁协议死锁 扩展有色Petri网 可达标识图

在线阅读 下载PDF 职称材料

基于Petri网的数据库系统并发控制活性分析 被引量：1

9

作者 左凤朝 《计算机工程与应用》 CSCD 北大核心 2002年第17期202-205,共4页

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

关键词 PETRI网 数据库系统 并发控制 活性分析 可达标识图 事务 死锁

在线阅读 下载PDF 职称材料

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

10

作者 左凤朝 《小型微型计算机系统》 CSCD 北大核心 2003年第7期1297-1300,共4页

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

关键词 P/T网 数据库系统 PETRI网模型 可达标识图 事务 死锁

在线阅读 下载PDF 职称材料

事故预测分析的PETRI网

11

作者 沈斐敏 《中国安全科学学报》 CAS CSCD 1995年第S2期233-238,共6页

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

关键词 事故 预测 PETRI网 可达标识图

在线阅读 下载PDF 职称材料