论文部分内容阅读
将Petri网建模技术应用于机务段信息化系统的开发过程中，并结合Petri网理论和机务段业务流程的特点，提出了机务段业务流程模型，通过定义的模型5元组来描述各检修过程之间的信息、资源和组织之间的关系，引导过程中的检修活动自动进行，对检修活动所需的资源进行调度分配，从而将各检修活动组织成一个顺畅的工作流程，为机务段业务流程的分析优化以及应用软件系统的开发提供了逻辑模型支持；通过矩阵方程对所建网模型进行性能分析，证明该模型的合理性．该模型能顺应机车检修工艺的变化重组业务流程，实现信息系统的可持续升级．