期刊文献+

基于Petri网的发送-接收问题的建模与验证

Modeling and Verification of the Sender-Receiver Problem Based on Petri Nets
下载PDF
导出
摘要 通过对文献[1]中模型的分析,给出了一个实用性更强,功能扩展的发送者-接收者问题模型。通过允许外部环境加以控制,允许接收者强制取消接收、发送者(接收者)按定量模式工作,解决远程控制、流量控制等问题,最后对模型进行了验证。 This article presents a more practical Sender-Receiver model with expanded functionalities through the analysis of the model in paper[1]. Under the exterior condition control and aborting receiving and the sender (or the receiver) working in accordance with the quantitative pattern, the model can solve the problems such as remote control and flow control. Finally the model is verified.
出处 《西华大学学报(自然科学版)》 CAS 2007年第6期35-37,共3页 Journal of Xihua University:Natural Science Edition
基金 四川省科技厅应用基础课题(No.03226125)
关键词 发送者-收者问题 PETRI网 抑止弧 建模 验证 sender-receiver problem petri nets inhibitor arcs modeling verification
  • 相关文献

参考文献5

二级参考文献5

  • 1WuJie 高传善译.分布式系统设计[M].北京:机械工业出版社,2001.. 被引量:2
  • 2Bowen J P, Glesson T J. Distributed Operating Systems [M]. In:Distributed Computer Systems, Butterworths, 1990 被引量:1
  • 3Sinha P K. Distributed Operating Systems: Concepts and Design [M].IEEE Press, New York, 1997 被引量:1
  • 4Chow R, Johnson T. Distributed Operating Systems and Algorithms [M]. Addison-Wesley Publishing Company, 1988 被引量:1
  • 5TanenbaumAS 陈向群译.现代操作系统[M].北京:机械工业出版社,1999.. 被引量:2

共引文献13

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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