期刊文献⁺

任意字段

题名或关键词

题名

关键词

文摘

作者

第一作者

机构

刊名

分类号

参考文献

作者简介

基金资助

栏目信息

Petri网解决有缓冲的进程间直接高级通讯问题

下载PDF

导出

摘要 Petri网作为一种描述系统行为的形式化工具,可以方便地描述并发活动。进程间的高级通讯有共享内存和消息两种方式。本文着重介绍了进程间直接的有缓冲的消息通讯方式,并用Petri网这个系统建模工具对这一通讯过程进行描述,为进一步研究进程间的相互作用提供了可靠的系统模型。

作者罗冬梅

机构地区厦门市集美大学计算机工程学院

出处《福建电脑》 2006年第3期138-139,共2页 Journal of Fujian Computer

关键词 PETRI网进程高级通讯缓冲同步

分类号 TP393 [自动化与计算机技术—计算机应用技术] V355.1 [自动化与计算机技术—计算机科学与技术]

引文网络
相关文献

参考文献2

1袁崇义著..Petri网原理[M].北京:电子工业出版社,1998:199.
2汤子瀛等著..计算机操作系统[M].西安:西安电子科技大学出版社,1996:498.

1曹风华.基于Power Designer的数据库系统构建[J].电子科技,2011,24(10):104-105. 被引量：2
2邓永钧,黄上腾.UCM:一种复杂软件系统建模工具[J].计算机工程,2001,27(2):141-143. 被引量：2
3吴昊,谭长庚.工作流管理系统及其建模研究[J].现代计算机,2011,17(20):23-29. 被引量：3
4IDT推出Serial RapidIO Gen2系统建模工具[J].电子与电脑,2010(4):63-63.
5刘光赋.空中交通管制中的通讯问题[J].空中交通管理,2002(6):11-13.
6设计工具与服务[J].电子设计技术 EDN CHINA,2005,12(5):116-116.
7段晓东,刘慎钊.局域网在实时控制与仿真中的应用[J].控制工程（北京）,1998(5):21-26.
8郭玉彬,李西明.“Petri网理论与应用”课程的教学研究[J].中国电力教育（下）,2009(3):64-65.
9蒋韶生,张祖平,陈松乔.数据建模工具及其在决策支持系统中的应用[J].计算机工程与应用,2003,39(10):202-205. 被引量：1
10关于西门子通讯问题[J].可编程控制器与工厂自动化（PLC FA）,2005(10):135-136.

福建电脑

2006年第3期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...

;

使用帮助返回顶部