文件名称：Traffic-Lights-Promela
文件大小：93KB
文件格式：ZIP
更新时间：2024-06-29 12:13:37
Java
交通灯-Promela SVVT 项目-2。 在 Promela 中模拟交通灯。
【文件预览】：
Traffic-Lights-Promela-master
----TrafficLightsJava()
--------.project(379B)
--------.classpath(401B)
--------TrafficLightsProject-master()
--------bin()
----VerResultsFirstAbstr.docx(10KB)
----VerResultsInitialModel.docx(6KB)
----GlobalFunction.pml(4KB)
----Property.pml(4KB)
----Intersection.pml(4KB)
----InitialModel.pml(2KB)
----BasicIntersection.pml(2KB)
----FirstAbstraction.pml(4KB)
----strategy_flow.jpg(49KB)
----GlobalFunction.pml.trail(9B)
----Project2.pml(1KB)
----BasicVehicleLight.pml(1KB)
----README.md(81B)
----BasicLinearLight.pml(2KB)