《表5 库所含义说明：基于UML和CPN的列控系统等级转换建模与分析》

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

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

《基于UML和CPN的列控系统等级转换建模与分析》

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

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

模型中托肯token用{massage}@time表示。其中把当前train与RBC之间的信息用massage表示；而对于token的时间戳用time表示。库所集代表等级转换过程中train的状态以及RBC所处的状态，具体含义说明如表5所示。