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

1

作者 韩耀军 蒋昌俊 罗雪梅 《同济大学学报（自然科学版）》 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网模型的设计更改技术 被引量：2

2

作者 刘晓健 张树有 徐敬华 《浙江大学学报（工学版）》 EI CAS CSCD 北大核心 2011年第1期37-44,共8页

为了实现网络流系统设计更改的响应检测,将响应检测同网络的动态表达相结合,提出一种基于网络流Petri网(NFPN)动态模型的设计更改响应检测方法.用Petri网对网络流及设计更改进行描述,建立网络流Petri网的动态模型.在分析层级网络流特点... 为了实现网络流系统设计更改的响应检测,将响应检测同网络的动态表达相结合,提出一种基于网络流Petri网(NFPN)动态模型的设计更改响应检测方法.用Petri网对网络流及设计更改进行描述,建立网络流Petri网的动态模型.在分析层级网络流特点的基础上,将Petri网完整可达图的构造同设计更改的响应检测相关联.通过多级抽象化简可达图,递归实现网络整体的分析.在配电网改造设计中的应用验证了该方法的可行性和有效性,降低了状态空间的复杂度,可见该方法适用于大尺度复杂网络. 展开更多

关键词 设计更改 动态网络模型 层级网络流 petri网 可达图化简

在线阅读 下载PDF 职称材料

基于高级Petri网的住院医师培训工作流建模与分析 被引量：1

3

作者 崔文成 杨雪 +2 位作者 葛睿 邵虹 于淼 《沈阳工业大学学报》 EI CAS 2010年第6期687-692,703,共7页

为了实现住院医师培训系统协调并发运行、工作流程顺畅无误运转,提出一种基于着色高级Petri网与跨组织Petri网技术相结合的综合建模方法.针对跨组织模型结构,通过分级验证法验证模型性能,即采用不变量验证法验证组织内活性,采用归约可... 为了实现住院医师培训系统协调并发运行、工作流程顺畅无误运转,提出一种基于着色高级Petri网与跨组织Petri网技术相结合的综合建模方法.针对跨组织模型结构,通过分级验证法验证模型性能,即采用不变量验证法验证组织内活性,采用归约可达图法验证组织间关联关系的可达性.利用不变量法和归约可达图验证法可确保组织内部和组织间无死锁,采用着色跨组织方法构建的模型适应于住院医师培训系统多角色和并发性的特点,提高了系统的实用性和高效性. 展开更多

关键词 petri网 着色跨组织 模型验证 可达图 不变量 住院医师培训系统

在线阅读 下载PDF 职称材料

IEEE488总线握手协议的Petri网建模和分析 被引量：1

4

作者 詹惠琴 古天祥 《电子测量与仪器学报》 CSCD 2005年第2期66-70,共5页

IEEE4 88总线是在自动化测试领域有着广泛应用的通用仪器总线 ,Petri网是系统建模仿真和模型验证及性能评价的理论和工具 ,但却很少用于测试领域。本文建立了IEEE4 88总线中三线握手协议的Petri网模型 ,直观、形象、准确地表示了源方和... IEEE4 88总线是在自动化测试领域有着广泛应用的通用仪器总线 ,Petri网是系统建模仿真和模型验证及性能评价的理论和工具 ,但却很少用于测试领域。本文建立了IEEE4 88总线中三线握手协议的Petri网模型 ,直观、形象、准确地表示了源方和受方之间数据传递的过程和时序关系 ;通过可达树和事件图分析 ,得到了该Petri网模型是活的、有界的、安全的、守恒的 ,证明了IEEE4 88总线的异步并行通信协议的可靠性。还通过引入时间Petri网 ,提出了总线的数据传输速率的计算方法。 展开更多

关键词 IEEE488 握手协议 petri网模型 时间petri网 数据传输速率 自动化测试 仪器总线 性能评价 模型验证 建模仿真 时序关系 数据传递 通信协议 计算方法 可达树 可靠性 事件 并行 异步

在线阅读 下载PDF 职称材料

基于随机Petri网的基本加工单元故障分析 被引量：2

5

作者 张君一 谢里阳 《组合机床与自动化加工技术》 2007年第9期47-50,共4页

采用随机Petri网针对制造系统中一随机加工单元的故障现象的产生、变化情况建立可靠性分析模型,通过分析其可达标识集,得出制造系统作为可降级的多状态系统,其加工单元不同于一般系统失效状态的多样性以及特殊性。直接对其可达图的变迁... 采用随机Petri网针对制造系统中一随机加工单元的故障现象的产生、变化情况建立可靠性分析模型,通过分析其可达标识集,得出制造系统作为可降级的多状态系统,其加工单元不同于一般系统失效状态的多样性以及特殊性。直接对其可达图的变迁序列进行数学分析,计算出由某个故障产生直至整个加工单元失效的各变迁序列的累积失效概率。在实际加工生产中,与维修时间相结合,可以为整个制造系统的资源调配提供依据,同时对分析制造系统的可靠性具有重要的实用价值。 展开更多

关键词 制造系统 加工单元 可靠性建模 随机petri网 故障分析 可达图

在线阅读 下载PDF 职称材料

一种优化数据链路层协议的Petri网模型及分析 被引量：1

6

作者 王晓媛 左风朝 《现代电子技术》 2009年第11期83-86,共4页

数据链路层位于网络体系结构第二层,向网络层提供统一界面。利用Petri网对基本的数据链路层协议建模,根据变迁设定原则,将逻辑状态与实际情形相结合,对一个原有模型进行了改进,并在此基础上,利用改进的思想对一个更高级的协议进行Petri... 数据链路层位于网络体系结构第二层,向网络层提供统一界面。利用Petri网对基本的数据链路层协议建模,根据变迁设定原则,将逻辑状态与实际情形相结合,对一个原有模型进行了改进,并在此基础上,利用改进的思想对一个更高级的协议进行Petri网的建模分析。改进后的模型对协议的验证更加具有合理性。 展开更多

关键词 petri网 通信协议 建模 可达树

在线阅读 下载PDF 职称材料

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

7

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

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

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

在线阅读 下载PDF 职称材料

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

8

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

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

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

在线阅读 下载PDF 职称材料

基于Petri网可达图的业务对齐方法 被引量：7

9

作者 韩咚 田银花 +1 位作者 杜玉越 张琴 《计算机集成制造系统》 EI CSCD 北大核心 2020年第6期1589-1606,共18页

为提高过程挖掘中计算最优对齐的效率,提出一种基于Petri网可达图的业务对齐方法。首先,根据给定事件日志,提取其包含的活动子集;然后,将子集中包含的活动映射到变迁,构建花型日志模型;进一步,计算花型日志模型与过程模型之间的乘积模... 为提高过程挖掘中计算最优对齐的效率,提出一种基于Petri网可达图的业务对齐方法。首先,根据给定事件日志,提取其包含的活动子集;然后,将子集中包含的活动映射到变迁,构建花型日志模型;进一步,计算花型日志模型与过程模型之间的乘积模型及其可达图;最后,给出算法在可达图中查找出事件日志中全部迹与过程模型之间基于给定代价函数的一个最优对齐和所有最优对齐。从理论上证明了该方法的适用性与有效性。通过仿真实验,验证了该方法的可行性与优越性。 展开更多

关键词 petri网 事件日志 过程模型 业务对齐 可达图

在线阅读 下载PDF 职称材料

基于Petri网的数字家庭无线射频协议研究 被引量：1

10

作者 刘云 郑红 《计算机应用与软件》 CSCD 2011年第10期89-92,共4页

对数字家庭无线射频通信协议进行分解,给出协议各部分的流程。构造基于Petri网的通信协议模型,并在模型的基础上运用可达图方法分析协议Petri网模型的动态性质,从而验证协议的正确性,为进一步研究和应用该协议提供一种新的思路。

关键词 petri网 射频协议 建模 可达图

在线阅读 下载PDF 职称材料

基于Petri网与改进A*搜索算法的矿井机车调度优化 被引量：4

11

作者 闫世昌 李文宏 孙彦良 《科学技术与工程》 北大核心 2020年第15期5990-5996,共7页

为了提高煤矿井下机车调度效率、防止机车碰撞、堵塞,根据井下调度特点建立机车运行赋时Petri网模型。针对原有启发式A*搜索算法存在的易陷入局部最优的缺点,提出了基于Petri网的并发变迁遴选算法,引入变迁并发度概念,与启发式A*搜索算... 为了提高煤矿井下机车调度效率、防止机车碰撞、堵塞,根据井下调度特点建立机车运行赋时Petri网模型。针对原有启发式A*搜索算法存在的易陷入局部最优的缺点,提出了基于Petri网的并发变迁遴选算法,引入变迁并发度概念,与启发式A*搜索算法相结合,得到改进的A*搜索算法。经过改进后算法的回溯计算,得到Petri可达图上的最佳路径,从而得出最优调度策略。根据以上算法进行MATLAB建模,最终仿真结果表明,经过改进的启发式A*搜索算法有效地避免了陷入局部最优解,其计算得出的调度路径及调度策略资源消耗量最少,调度效率较高且未出现机车堵塞碰撞等问题。 展开更多

关键词 井下机车调度 petri网模型 A~*搜索算法 并发变迁遴选算法 可达图

在线阅读 下载PDF 职称材料

基于Petri网的IPv4到IPv6协议转换分析

12

作者 符海波 郑红 罗笑南 《计算机应用与软件》 CSCD 2011年第12期105-107,187,共4页

应用Petri网原理分析IPv4-IPv6协议转换,并结合实际的系统和详细转换流程图,建立Petri网模型。通过此Petri网模型的有界性、可达性及活性等动态特性,证明此转换模型功能和安全上的可行性。

关键词 petri网 协议转换 可达图

在线阅读 下载PDF 职称材料

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

13

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

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

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

在线阅读 下载PDF 职称材料