SystemCompositionTool/ExtendedStateMachine at main · GregorioDalia/SystemCompositionTool · 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
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
{

  "configurations" : {

    "subnodes":[],
    "systemPosition":"",
    "subsystems":["TrafficLights"],
    "retro":"",
    "subConfig":"",
    "name":"TrafficLightsFSM"

  },

  "sistemsColletion":[
    {
    "name":"TrafficLights",
    "extended":"true",
    "states":["red","green","waiting","yellow"],
    "initialstate":["red"],
    "input":["pedestian"],
    "output":["sigR","sigG","sigY"],
    "variable":["count"],

    "maxTIME":{
     "redMAX":"2",
     "greenMAX":"3_",
     "yellowMAX":"1",
     "waitingMAX":"3"
    },


    "updateFunctions":
      [
    {
        "initialState":"red",
        "variablecheck":"count>=60",
        "input":[""],
        "variableaction":"count=0",
        "output":["","sigG",""],
        "finalState":"green"
    },{
        "initialState":"green",
        "input":["pedestian"],
        "variablecheck":"count<60",
        "variableaction":"count++",
        "output":["","",""],
        "finalState":"waiting"
    }

    , {
        "initialState":"waiting",
        "input":[""],
        "variablecheck":"count>=60",
        "variableaction":"count=0",
        "output":["","","sigY"],
        "finalState":"yellow"
    }, {
        "initialState":"green",
        "input":["pedestian"],
        "variablecheck":"count>=60",
        "variableaction":"count=0",
        "output":["","","sigY"],
        "finalState":"yellow"
    }, {
        "initialState":"yellow",
        "input":[""],
        "variablecheck":"count>=5",
        "variableaction":"count=0",
        "output":["sigR","",""],
        "finalState":"red"
    }
    ]

    }

    ]
    }