基于Petri Nets的协调机制研究*

利用形式化和图形化的建模工具Petri Nets对协调问题中的依赖关系及协调机制进行研究；提出任务之间基于资源的三种基本依赖关系；并用Petri Nets对这三种依赖关系相应的协调机制进行了表述，为协调问题的可计算描述提供了一种新的思考角度。

Study of Coordination Mechanisms Based on Petri Nets

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.