《计算机应用研究》|Application Research of Computers

基于Petri Nets的协调机制研究

Study of Coordination Mechanisms Based on Petri Nets

免费全文下载 (已被下载 次)  
获取PDF全文
作者 洪流,马巧云,陈学广
机构 华中科技大学 系统工程研究所,湖北 武汉 430074
统计 摘要被查看 次,已被下载
文章编号 1001-3695(2007)04-0026-03
DOI 10.3969/j.issn.1001-3695.2007.04.006
摘要 利用形式化和图形化的建模工具Petri Nets对协调问题中的依赖关系及协调机制进行研究;提出任务之间基于资源的三种基本依赖关系;并用Petri Nets对这三种依赖关系相应的协调机制进行了表述,为协调问题的可计算描述提供了一种新的思考角度。
关键词 协调;依赖关系;协调机制;Petri网
基金项目 国家自然科学基金资助项目(70572034)
本文URL http://www.arocmag.com/article/1001-3695(2007)04-0026-03.html
英文标题 Study of Coordination Mechanisms Based on Petri Nets
作者英文名 HONG Liu, MA Qiao-yun, CHEN Xue-guang
机构英文名 Institute of System Engineering, Huazhong University of Science & Technology, Wuhan Hubei 430074, China
英文摘要 This paper studied the interdependencies between tasks and concludes that all interdependencies arise from resources relationship. Time also could be treated as a special resource and temporal interdependencies could be felled under framework of resource interdependencies. Then three basic resource interdependencies between tasks and their corresponding coordination mechanisms were represented by Petri Nets, which was a good formalized and diagrammatical modeling tool. This was a step for solving coordination problems by computer.
英文关键词
参考文献 查看稿件参考文献
 
收稿日期
修回日期
页码 26-28
中图分类号
文献标志码 A