《表3 进站信号机各变量定义》
根据Petri网的定义,将进站信号机的7种状态定义为库所,控制命令定义为变迁集,其Petri网描述见图2,各变量定义详见表3。
图表编号 | XD00178730300 严禁用于非法目的 |
---|---|
绘制时间 | 2020.05.05 |
作者 | 巴宝莲、李珊珊、王雅孝、李贵红 |
绘制单位 | 兰州职业技术学院 |
更多格式 | 高清、无水印(增值服务) |
根据Petri网的定义,将进站信号机的7种状态定义为库所,控制命令定义为变迁集,其Petri网描述见图2,各变量定义详见表3。
图表编号 | XD00178730300 严禁用于非法目的 |
---|---|
绘制时间 | 2020.05.05 |
作者 | 巴宝莲、李珊珊、王雅孝、李贵红 |
绘制单位 | 兰州职业技术学院 |
更多格式 | 高清、无水印(增值服务) |