论文部分内容阅读
该文通过对BSP方法的研究,针对其存在的问题,应用Petri网理论中的同步距离概念,对BSP方法进行了补充和完善。在BSP方法中形成了信息采集技术、数据字典的建立技术、过程字黄的建立技术、U-C矩阵的建立技术、同步距离的U-C矩阵调整技术等BSP技术方法。在同步距离的U-C矩阵调整技术建立了U-C矩阵的Petri网模型,建立了Petri网模型同步距离的数学公式。水电厂计算机信息系统的总体设计的成功完成,验证了基于Petri网的BSP方法的有效性。