| 行为协调知识的形式化研究 |
| |
| 引用本文： | 洪流,张振文,陈琛,陈学广.行为协调知识的形式化研究[J].武汉理工大学学报,2008,30(11). |
| |
| 作者姓名： | 洪流 张振文 陈琛 陈学广 |
| |
| 基金项目： | 国家自然科学基金
|
| |
| 摘 要： | 近年来,关于协调已有大量的研究成果,但对于协调问题中依赖关系及协调策略多是作定性的表述,给出的一般都是非形式化的结果,难以实现协调问题的计算机求解.针对这一难题,利用形式化和图形化的建模工具Petri网对协调问题中的依赖关系及协调机制进行研究,提出任务之间基于资源的3种基本依赖关系,并用Petri网对这3种依赖关系相应的协调机制进行了表述,最后用XML语言时Petri网表示的协调机制进行了形式化,为协调问题的可计算化提供了一种新的思考角度.
|
| 关 键 词： | 协调 依赖关系 协调机制 Petri网 |
Research of Coordination Mechanisms Based on Petri Nets |
| |
| HONG Liu,ZHANG Zhen-wen,CHEN Chen,CHEN Xue-guang.Research of Coordination Mechanisms Based on Petri Nets[J].Journal of Wuhan University of Technology,2008,30(11). |
| |
| Authors: | HONG Liu ZHANG Zhen-wen CHEN Chen CHEN Xue-guang |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
