基于时间自动机(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}]