任务间依赖关系的分类及形式化表达

摘要

协调作为一个重要的概念广泛地出现在多个学科和社会经济领域,成为广大学者共同关注的一个研究课题。目前对于协调问题中依赖关系及协调策略的研究,多是做定性的表述,给出的一般都是非形式化的描述,这样不利于协调问题在计算机上的表述,难以实现协调问题的计算机求解。针对这一问题,利用形式化和图形化的建模工具Petri Nets对协调问题中的依赖关系进行研究,提出任务之间的依赖关系可以分为两类,基于资源的依赖关系和基于时间的依赖关系,并用Petri Nets对这些依赖关系进行了表述,为协调问题的可计算描述提供了一种新的思考角度。