bigraph/system.big at master · prismofeverything/bigraph · GitHub

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
40
41
42
43
44
45
46
47
48
49
50
51
ctrl A = 0;
ctrl B = 0;
ctrl F = 0;
ctrl Phi = 0;

react f =
    A | A.(F | id)
    -->
    A.(F | B | id);

react b =
    A.(B | F | id)
    -->
    A.(B | Phi | id);

react phi =
    A.(Phi | B | id)
    -->
    A.(Phi | F | id);

react degrade_F =
    A.(F | id)
    -->
    A.(B | id);

react degrade_B =
    A.(B | id)
    -->
    A | A.id;

react degrade_Phi =
    A.(Phi | id)
    -->
    A.(F | id);

react divide =
    A.(F | F | Phi | Phi | B | B | B | id)
    -->
    A.(F | Phi | B | id) | A.(F | Phi | B)
    @[0,2,4,7,1,3,5];


big initial = A | A | A | A | A | A | A.F;

begin sbrs
    init initial;
    rules = [
        {divide},
        {f,b,phi,degrade_F,degrade_B,degrade_Phi}
    ];
end