行为协调知识的形式化研究  

Research of Coordination Mechanisms Based on Petri Nets

作　　者：洪流[1] 张振文[1] 陈琛[1] 陈学广[1] 

机构地区：[1]华中科技大学系统工程研究所,武汉430074

出　　处：《武汉理工大学学报》2008年第11期150-153,共4页Journal of Wuhan University of Technology

基　　金：国家自然科学基金(70572034;60773188)

摘　　要：近年来,关于协调已有大量的研究成果,但对于协调问题中依赖关系及协调策略多是作定性的表述,给出的一般都是非形式化的结果,难以实现协调问题的计算机求解。针对这一难题,利用形式化和图形化的建模工具Petri网对协调问题中的依赖关系及协调机制进行研究,提出任务之间基于资源的3种基本依赖关系,并用Petri网对这3种依赖关系相应的协调机制进行了表述,最后用XML语言对Petri网表示的协调机制进行了形式化,为协调问题的可计算化提供了一种新的思考角度。Coordination, as an important concept, which is widely used in interdisciplinary research and social economic domain, becomes a crucial subject studied by a lot of researchers. Most researches about interdependencies and coordination mechanisms of coordination problem stay on qualitative description, and this is not good for expression of coordination problems by using computer. This paper researches the interdependencies between tasks and concludes that all interdependencies arise from resources relationship. Time also can be treated as a special resource and temporal interdependencies can be felled under our framework of resource interdependencies. Then three basic resource interdependencies between tasks and their corresponding coordination mechanisms are represented by Petri Nets, which is a good formalized and diagrammatical modeling tool. We think this is a meaning step for solving coordination problems by computer.

关 键 词：协调 依赖关系 协调机制 PETRI网 

分 类 号：TP301.4[自动化与计算机技术—计算机系统结构]