《表5 调车信号机各变量定义》

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

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

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

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

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

根据Petri网定义将这调车信号机的4种显示状态定义为库所，控制命令包括调车信号的开放和关闭，以及断丝、灭灯故障的产生和消除定义为变迁集，其Petri网描述见图3所示，各变量定义详见表5。