论文部分内容阅读
针对智能公交系统（ITS）车辆调度难的问题，提出了网格环境下跨越多个域和系统的车辆实时调度工作流模型的特点和要求，以得到适用于ITS车辆调度的工作流元模型；提出了采用基于Petri网的柔性工作流建模技术和自项向下分层树形分解方法来构造工作流模型，以产生适用于ITS工作流建模的思路和方法。最后提出了一种验证模型的算法来证明其有效性。