《表1 0 轨道区段类设计》

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

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

《基于Petri网的车站计算机联锁系统建模与仿真》

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

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

根据Petri网定义，出站兼调车信号机的7种显示状态定义为库所，控制命令定义为变迁集，Petr网描述见图1，各变量定义详见表1。设计的类如表2，主要变量为信号机状态，其取值对应Petri网模型7个库所，主要成员函数为Petri网模型中的10个主要变迁。