期刊文献+

用Petri网解决经典进程同步问题

下载PDF
导出
摘要 Petri网是一种适于描述和分析异步并发系统的有力工具。进程间的同步与互斥是操作系统的关键问题。传统的进程同步互斥方法有 :加锁机制、信号量机制和管程机制等。
作者 刘建华 王勇
出处 《桂林航天工业高等专科学校学报》 2004年第1期25-26,30,共3页 Journal of Guilin College of Areospace Technology
  • 相关文献

参考文献2

二级参考文献5

  • 1林闯,1989年
  • 2胡峻,浙江大学学报,1995年,1期
  • 3熊光楞,信息与控制,1994年,23期,4页
  • 4张浩,1994年
  • 5李芳芸,计算机集成制造系统CIMS问答,1993年

共引文献17

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部