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