互斥进程的uppaal模型实例

[{"title":"（ 5 个子文件 5.76MB ） 互斥进程的uppaal模型实例","children":[{"title":"互斥进程的uppaal模型实例","children":[{"title":"互斥进程过程描述.png <span style='color:#111;'> 41.88KB </span>","children":null,"spread":false},{"title":"互斥进程模型的仿真.png <span style='color:#111;'> 72.13KB </span>","children":null,"spread":false},{"title":"互斥进程的模型.zip <span style='color:#111;'> 1.28KB </span>","children":null,"spread":false},{"title":"互斥进程性质的验证.png <span style='color:#111;'> 66.54KB </span>","children":null,"spread":false},{"title":"uppaal-4.0.14-aca.zip <span style='color:#111;'> 5.60MB </span>","children":null,"spread":false}],"spread":true}],"spread":true}]