文件名称：任务间依赖关系的分类及形式化表达 (2006年)
文件大小：281KB
文件格式：PDF
更新时间：2024-06-15 05:42:23
工程技术 论文
协调作为一个重要的概念广泛地出现在多个学科和社会经济领域，成为广大学者共同关注的一个研究课题。目前对于协调问题中依赖关系及协调策略的研究，多是做定性的表述，给出的一般都是非形式化的描述，这样不利于协调问题在计算机上的表述，难以实现协调问题的计算机求解。针对这一问题，利用形式化和图形化的建模工具Petri Nets对协调问题中的依赖关系进行研究，提出任务之间的依赖关系可以分为两类，基于资源的依赖关系和基于时间的依赖关系，并用Petri Nets对这些依赖关系进行了表述，为协调问题的可计算描述提供了一种新的思