Project

[rb757575]

The model contains syntax or initialization errors and has not been uploaded.
What the Problem ???????????????????????????????
Please Help Me for Fix
My Ver : UPPAAL 5.1.0-beta5 (rev. C7C01B0740E14075), 2023-12-11

This XML file does not appear to have any style information associated with it. The document tree is shown below.

clock x;

TrafficLight
// Place local declarations here.

Green


Red


Error

uniform(0,1) < 0.3 x >= 5 x = 0 x >= 5 x = 0 system TrafficLight;

[mikucionisaau]

Please zip the model and then attach it.