基于时序Petri网的联锁逻辑形式建模与验证

作者：杜军威; 徐中伟联锁逻辑时序petri网形式建模时序逻辑

摘要：时序Petri网结合Petri和时序逻辑的优点,清晰简洁地描述并发系统事件间的时序和因果关系,包括系统的最终性和公平性。文章给出安全苛求系统--车站信号联锁逻辑系统的时序Petri网描述,并使用时序逻辑描述系统状态的时序和因果关系,最后通过分析和验证模型的性质得出系统是正确的。

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社