《表3 进站信号机各变量定义》

《表3 进站信号机各变量定义》   提示:宽带有限、当前游客访问压缩模式
本系列图表出处文件名:随高清版一同展现
《基于Petri网的车站计算机联锁系统建模与仿真》


  1. 获取 高清版本忘记账户?点击这里登录
  1. 下载图表忘记账户?点击这里登录

根据Petri网的定义,将进站信号机的7种状态定义为库所,控制命令定义为变迁集,其Petri网描述见图2,各变量定义详见表3。