首页> 中文期刊> 《计算机工程与应用》 >2PL协议的Petri网模型

2PL协议的Petri网模型

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

2PL协议是目前并发事务数据库广泛采用以保证并发调度正确性的封锁协议,该文给出了2PL协议的Petri网模型,并利用该模型给出可预防死锁的封锁序列.

著录项

来源
《计算机工程与应用》 |2004年第24期|160-162207|共4页
作者
姚晓玲; 吴哲辉;
展开▼
作者单位

山东科技大学信息科学与工程学院;

山东;

泰安;

271019;

山东科技大学信息科学与工程学院;

山东;

泰安;

271019;

展开▼
原文格式 PDF
正文语种 chi
中图分类 TP311.13;
关键词
2PL协议 Petri网封锁;

相似文献

中文文献
外文文献
专利

1. 满足2PL协议的无死锁事务并发控制Petri网模型 [J] . 孙琳 ,吴哲辉 ,崔焕庆 . 系统仿真学报 . 2005,第z1期
2. 协议通信有限状态机模型和协议Petri网模型的变换 [J] . 徐志农 . 暨南大学学报：自然科学与医学版 . 1993,第003期
3. 基于Maria的TMN协议的LPetri网模型检测 [J] . 郝颖 ,封雪 ,于颖 . 现代计算机（专业版） . 2017,第026期
4. 基于Maria的TMN协议的LPetri网模型检测 [J] . 郝颖1 ,封雪1 ,于颖2 . 现代计算机：上半月版 . 2017,第009期
5. 一种使用Petri网络模型验证协议的方法 [J] . 蔡俊杰 . 微型电脑应用 . 2016,第004期
6. 满足2PL协议的无死锁事务并发控制Petri网模型 [C] . 孙琳 ,吴哲辉 ,崔焕庆 . 第十次全国Petri网学术年会暨形式化方法学术讨论会 . 2005
7. 基于着色Petri网的3G网络协议建模研究—SIP协议的CPN模型与仿真 [A] . 占东生 . 2009

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号