点-区间时序逻辑相关硕士博士期刊学术论文

本文提出了一种对离散事件系统进行时序建模的TL PN(时序 Petri)方法。文中描述了点 -区间时序逻辑的形式定义体系 ,以及基于图模......