《表1 2级时间节点库所关联逆子矩阵》

  提示：宽带有限、当前游客访问压缩模式

本系列图表出处文件名：随高清版一同展现

《基于着色Petri网的铁路时间同步协议建模及安全性分析》

1. 获取 高清版本忘记账户？点击这里登录

1. 下载图表忘记账户？点击这里登录

将以上16个颜色集元素统一用符号x1～x16表示。根据图5所示着色Petri网模型，可得到该模型的关联矩阵，为了便于分析计算，这里列出其关联逆矩阵，且未列出全0行和全0列。根据所属库所分类，将整个逆矩阵拆分为4个逆子矩阵，分别为2级时间节点库所子矩阵、1级时间节点库所子矩阵、中间人节点子矩阵和ch1～ch8子矩阵，如表1～4所示。