时间Petri网的时间知识推理算法及在铁路智能运输系统中的应用

介绍一种基于时间Petri网的时间知识推理算法,它是在已有算法的基础上,引入模糊时间区间的操作进行扩展而形成。该算法可一次性构建相应的时间知识系统的生成图,再用生成图进行时间知识验证和推理,相对于已有的算法来说,具有效率高、可处理时间区间的不确定性问题等优点。针对列车运行的时间知识系统进行算法的应用研究得出:本算法可验证时间约束的列车运行调整方案的可行性;能验证铁路专家系统中时间知识的一致性问题;用生成图可推导出某些带时间约束事件同时发生的可能性等。