blob: 2b0411efd8d8587fa4887f08d1be896ce64f244b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
|
machine light_bulb
[
states [ light_on , light_off ];
events [ turn_on , turn_off , switch ];
starting on light_off;
transitions
[
from light_on to light_off on event turn_off execute kek2 | kek;
from light_on to light_off on event switch;
from light_off to light_on on event turn_on;
from light_off to light_on on event switch execute kek;
];
];
machine temp_switch
[
states [A,B];
events [A];
starting on A;
transitions
[
from A to B on event A granted !light_bulb.light_on || temp_switch2.A
if !light_bulb.light_on
execute kek;
else
execute zeh | kek;
];
];
machine temp_switch2
[
states [A,B];
events [A];
starting on A;
transitions
[
from A to A on event A;
];
];
|