基于时间自动机(ta)的四列火车调度的uppaal模型实例

[{"title":"（ 5 个子文件 323KB ） 基于时间自动机(ta)的四列火车调度的uppaal模型实例","children":[{"title":"四列火车调度的模型","children":[{"title":"四列火车调度模型的性质.q <span style='color:#111;'> 458B </span>","children":null,"spread":false},{"title":"实验效果图1_模型仿真.png <span style='color:#111;'> 160.20KB </span>","children":null,"spread":false},{"title":"实验效果图3_模型性质验证.png <span style='color:#111;'> 79.33KB </span>","children":null,"spread":false},{"title":"实验效果图2_模型仿真.png <span style='color:#111;'> 101.48KB </span>","children":null,"spread":false},{"title":"四列火车调度模型.xml <span style='color:#111;'> 6.93KB </span>","children":null,"spread":false}],"spread":true}],"spread":true}]