Pump:

Nr Name Value Previous Value
1 level ? ?
2 pump ? ?
Nr Name Value
1 low_threshold 20.0
2 high_threshold 60.0
3 step_size 0.5
4 outflow 10.0
5 inflow 15.0
Nr Name Enabled
1 Next ?
Nr Event Target State ID
1SETUP_CONSTANTS(low_threshold=20.0,high_threshold=60.0,step_size=0.5,outflow=10.0,inflow=15.0)State 0
2INITIALISATION(level=50.0,pump=FALSE)
3Next
4Next
5Next
6Next
7Next
8Next
9Next
10Next
11Next
12Next
13Next
14Next
15Next
16Next
17Next
18Next
19Next
20Next
21Next
22Next
23Next
24Next
25Next
26Next
27Next
28Next
29Next
30Next
31Next
32Next
33Next
34Next
35Next
36Next
37Next
38Next
39Next
40Next
41Next
42Next
Generated on 6/9/2024 at 17:03 using ProB version 1.13.1-nightly
Main specification file: WaterTankReals.tla (modified on 6/9/2024 at 16:59)
Main specification name: WaterTankReals