期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
用Petri网解决经典进程同步问题
下载PDF
职称材料
导出
摘要
Petri网是一种适于描述和分析异步并发系统的有力工具。进程间的同步与互斥是操作系统的关键问题。传统的进程同步互斥方法有 :加锁机制、信号量机制和管程机制等。
作者
刘建华
王勇
机构地区
桂林航天工业高等专科学校
上海电力学院计算机系
出处
《桂林航天工业高等专科学校学报》
2004年第1期25-26,30,共3页
Journal of Guilin College of Areospace Technology
关键词
PETRI网
进程同步
分类号
TP393 [自动化与计算机技术—计算机应用技术]
引文网络
相关文献
节点文献
二级参考文献
5
参考文献
2
共引文献
17
同被引文献
0
引证文献
0
二级引证文献
0
参考文献
2
1
蒋涛,姚宇明,徐毓良.
基于Petri网的并行任务规划器[J]
.浙江大学学报(自然科学版),1996,30(1):111-121.
被引量:1
2
林闯,陆维明.
Petri网用于表示知识[J]
.计算机学报,1992,15(1):1-16.
被引量:18
二级参考文献
5
1
林闯,1989年
2
胡峻,浙江大学学报,1995年,1期
3
熊光楞,信息与控制,1994年,23期,4页
4
张浩,1994年
5
李芳芸,计算机集成制造系统CIMS问答,1993年
共引文献
17
1
李孝忠.
一类模糊Petri网的动态特性及应用[J]
.系统仿真学报,2003,15(z1):67-68.
2
丁彩虹,姜兴渭,黄文虎.
Petri net-based representation of rules and verification of consistency[J]
.Journal of Harbin Institute of Technology(New Series),2001,8(2):125-128.
3
陆维明,林闯.
生产系统的Petri网模型[J]
.自动化学报,1993,19(3):290-299.
被引量:9
4
严洪森,崔贤玉,张晋格.
扩展高级判断Petri网及其在FMS决策和控制中的应用[J]
.航空学报,1994,15(9):1114-1118.
被引量:2
5
蔡之华.
模糊Petri网及知识表示[J]
.计算机应用与软件,1994,11(3):30-36.
被引量:10
6
吴启明.
用于检测数据库一致性的Petri网模型[J]
.微电子学与计算机,1994,11(6):37-41.
被引量:2
7
蒋云良.
知识表示综述[J]
.湖州师专学报,1995,17(5):18-22.
被引量:5
8
邱静,彭智华,温熙森,唐丙阳.
柔性加工单元故障诊断的模糊Petri网模型[J]
.国防科技大学学报,1996,18(2):38-42.
被引量:6
9
苏宏升,李群湛.
基于着色Petri网模糊专家系统的研究[J]
.计算机工程与应用,2005,41(36):192-194.
被引量:2
10
黄红梅,章云,罗兵,王斌.
可拓推理的Petri网表示[J]
.哈尔滨工业大学学报,2006,38(7):1115-1119.
被引量:4
1
刘荣峰.
并发进程死锁检测的一种新方法[J]
.甘肃科技,2007,23(2):31-32.
2
赵童童.
进程同步机制的分析与研究[J]
.消费电子,2014,0(20):194-194.
3
李云鹤.
一种基于令牌的新的互斥算法分析与设计[J]
.计算机科学,2008,35(4):119-121.
被引量:2
4
刘洋.
分布式系统中互斥问题的分析[J]
.阴山学刊(自然科学版),2012,26(2):34-36.
5
王昕晔,叶慧娟,李新.
分布式系统设计中的互斥问题[J]
.海军工程大学学报,2003,15(5):105-112.
被引量:4
6
曾窕俊,汪传建.
《操作系统》课程中的读者-写者问题的实现与改进[J]
.福建电脑,2016,32(2):83-84.
7
周铁山,陈多,陈华光.
Windows环境下操作系统的多任务类模拟实验的开发[J]
.湖南工程学院学报(自然科学版),2001,11(3):23-26.
8
包卫东.
一个原型支持工具及其在FMS仿真中的应用[J]
.电脑与信息技术,1997,5(4):19-21.
9
李双权,陈火炎,孙玉霞.
Java多线程同步机制[J]
.现代计算机,2003,9(1):23-25.
被引量:2
10
钟远明,奚建清.
基于Snapshot加锁机制的事务模型的研究[J]
.计算机工程,2001,27(4):74-75.
桂林航天工业高等专科学校学报
2004年 第1期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
;
用户登录
登录
IP登录
使用帮助
返回顶部