期刊文献⁺

任意字段

题名或关键词

题名

关键词

文摘

作者

第一作者

机构

刊名

分类号

参考文献

作者简介

基金资助

栏目信息

并发进程死锁检测的一种新方法

下载PDF

导出

摘要并发进程具有明显的异步并发性,而Petri网是模拟与分析异步并发系统的有效工具。为此通过引入Petri网,给出了并发进程等待的Petri网模型及死锁检测方法。

作者刘荣峰

机构地区兰州交通大学交通运输学院

出处《甘肃科技》 2007年第2期31-32,120,共3页 Gansu Science and Technology

关键词并发进程 PETRI网模型死锁检测

分类号 TP316 [自动化与计算机技术—计算机软件与理论]

引文网络
相关文献

参考文献8

1韩耀军,蒋昌俊,罗雪梅.基于Petri网合成与化简的分布式数据库系统并发控制的死锁检测[J].小型微型计算机系统,2004,25(5):821-826. 被引量：7
2韩耀军,蒋昌俊,罗雪梅.数据库系统并发控制的扩展有色Petri网方法[J].同济大学学报（自然科学版）,2004,32(1):104-108. 被引量：6
3尹朝庆.数据库系统中并发事务死锁的解除与避免[J].计算机研究与发展,1995,32(4):33-38. 被引量：9
4袁崇义著..Petri网原理与应用[M].北京:电子工业出版社,2005:285.
5蒋昌俊著..离散事件动态系统的PN机理论[M].北京:科学出版社,2000:202.
6何炎祥等编著..高级操作系统[M].北京:科学出版社,1999:293.
7庞丽萍,李胜利.计算机操作系统[M]华中理工大学出版社,1998. 被引量：1
8汤子瀛等著..计算机操作系统[M].西安:西安电子科技大学出版社,1996:498.

二级参考文献4

1尹朝庆.数据库系统中并发事务死锁的解除与避免[J].计算机研究与发展,1995,32(4):33-38. 被引量：9
2毛法尧.分布式数据库系统[J].小型微型计算机系统,1995,16(8):55-60. 被引量：3
3王能斌，数据库设计与实现，1991年被引量：1
4袁崇义，Petri网，1989年被引量：1

共引文献15

1孙琳,吴哲辉,崔焕庆.满足2PL协议的无死锁事务并发控制Petri网模型[J].系统仿真学报,2005,17(z1):55-58.
2陈凌,余建桥,张尉.1种基于2PL新的封锁协议研究[J].西南农业大学学报（自然科学版）,2006,28(1):97-99. 被引量：1
3刘荣峰,李引珍.基于有色Petri网并发进程模型及死锁避免方法[J].计算机工程与应用,2007,43(6):48-49. 被引量：2
4蒋忠远,宋文,姚建.基于增广Petri网带封锁机制的数据库并发控制模型[J].系统仿真学报,2007,19(A01):164-167. 被引量：1
5刘荣峰,李引珍,吴桂华.基于Petri网的分布式系统并发进程的死锁检测[J].计算机工程与设计,2007,28(22):5353-5355. 被引量：2
6王琦,韩江洪,王青山.Petri网合成理论及应用综述[J].计算机仿真,2008,25(12):8-11. 被引量：5
7丁佐华,江明月,刘静.基于常微分方程的死锁检测实验分析[J].计算机学报,2009,32(9):1736-1749.
8陈晓燕,王克难,黄少波.浅谈多媒体数据库技术的发展与应用[J].今日科苑,2010(22):189-189.
9龙华飞,唐月华,邓千,李志.“军卫一号”系统中“死锁”的分析及处理方法[J].中国数字医学,2011,6(1):31-32. 被引量：5
10陈彦舟,冯朝辉.基于增广有色Petri网带封锁机制的并发控制模型[J].网络安全技术与应用,2011(4):42-45.

1包卫东.一个原型支持工具及其在FMS仿真中的应用[J].电脑与信息技术,1997,5(4):19-21.
2黄敏,张鹏丽.基于Petri网的异步并发系统建模方法及应用研究[J].计算机工程与设计,2006,27(6):973-975. 被引量：2
3刘建华,王勇.用Petri网解决经典进程同步问题[J].桂林航天工业高等专科学校学报,2004,9(1):25-26.
4吴东勇,张勇.基于通信的列车控制系统的有色Petri网模型的研究[J].系统仿真学报,2005,17(10):2388-2391. 被引量：7
5钟珊,殷旭东,夏开建,姚宇峰.一种通用的表示多agent协作规划的形式化方法[J].常熟理工学院学报,2010,24(2):119-124.
6刘荣峰,李引珍.基于有色Petri网并发进程模型及死锁避免方法[J].计算机工程与应用,2007,43(6):48-49. 被引量：2
7熊超越,丁国俊.正则Petri网的研究[J].计算机科学,1999,26(6):88-89.
8聂锡宁,蔡国永.Petri网的重写逻辑模型及其属性验证[J].桂林电子科技大学学报,2011,31(3):208-212. 被引量：1

甘肃科技

2007年第2期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...

;

使用帮助返回顶部