论文研究-基于时序Petri网的联锁逻辑形式建模与验证.pdf

【文件属性】：
文件名称：论文研究-基于时序Petri网的联锁逻辑形式建模与验证.pdf
文件大小：966KB
文件格式：PDF
更新时间：2022-09-28 02:28:57
论文研究 时序Petri网结合Petri和时序逻辑的优点，清晰简洁的描述并发系统事件间的时序和因果关系，包括系统的最终性和公平性。本文给出安全苛求系统——车站信号联锁逻辑系统的时序Petri网描述，并使用时序逻辑描述系统状态的时序和因果关系，最后通过分析和验证模型的性质得出系统是正确的。