Skip to content
Snippets Groups Projects
Commit 7e6eb96a authored by Fabian Vu's avatar Fabian Vu
Browse files

Add simulation file

parent beafc34b
Branches
No related tags found
No related merge requests found
{
"activations": [
{
"id": "$setup_constants",
"execute": "$setup_constants"
},
{
"id": "$initialise_machine",
"execute": "$initialise_machine",
"activating": ["route_reservation_activation", "route_reservation_activation"]
},
{
"id": "route_reservation_activation",
"execute": "route_reservation",
"after": 0,
"probabilisticVariables": "uniform",
"activating" : "point_positionning_activation"
},
{
"id": "route_reservation_activation2",
"execute": "route_reservation",
"after": 5000,
"probabilisticVariables": "uniform",
"activating" : "point_positionning_activation"
},
{
"id": "point_positionning_activation",
"execute": "point_positionning",
"after": 2000,
"fixedVariables": {"r": "r"},
"activating": "route_formation_activation"
},
{
"id": "route_formation_activation",
"execute": "route_formation",
"after": 2000,
"fixedVariables": {"r": "r"},
"activating": "front_move_1_activation"
},
{
"id": "front_move_1_activation",
"execute": "FRONT_MOVE_1",
"after": 3000,
"fixedVariables": {"b": "fst(r)"},
"activating": "front_move_2_activation_start"
},
{
"id": "front_move_2_activation_start",
"execute": "FRONT_MOVE_2",
"after": 3000,
"fixedVariables": {"b": "b"},
"activating": ["front_move_2_activation", "back_move_2_activation_1"]
},
{
"id": "front_move_2_activation",
"execute": "FRONT_MOVE_2",
"after": 3000,
"fixedVariables": {"b": "TRK(b)"},
"activating": ["front_move_2_activation", "back_move_2_activation_1"]
},
{
"id": "back_move_2_activation_1",
"execute": "BACK_MOVE_2",
"after": 3000,
"fixedVariables": {"b": "b"},
"activating": ["back_move_2_activation_2", "back_move_1_activation"]
},
{
"id": "back_move_2_activation_2",
"execute": "BACK_MOVE_2",
"after": 3000,
"fixedVariables": {"b": "TRK(b)"},
"activating": ["back_move_2_activation_2", "back_move_1_activation"]
},
{
"id": "back_move_1_activation",
"execute": "BACK_MOVE_1",
"after": 3000,
"fixedVariables": {"b": "TRK(b)"},
"activating": "route_freeing_activation"
},
{
"id": "route_freeing_activation",
"execute": "route_freeing",
"after": 1000,
"fixedVariables": {"r": "{x |-> y | x |-> y : lst & x : resrt & y = b}~(b)"},
"activating": ["route_reservation_activation2", "route_reservation_activation2"]
}
]
}
...@@ -34,7 +34,7 @@ ...@@ -34,7 +34,7 @@
"testCases": [], "testCases": [],
"traces": [], "traces": [],
"modelcheckingItems": [], "modelcheckingItems": [],
"simulation": null, "simulation": "Train_simulation.json",
"visBVisualisation": "train.json", "visBVisualisation": "train.json",
"historyChartItems": [] "historyChartItems": []
}, },
...@@ -70,7 +70,7 @@ ...@@ -70,7 +70,7 @@
"testCases": [], "testCases": [],
"traces": [], "traces": [],
"modelcheckingItems": [], "modelcheckingItems": [],
"simulation": null, "simulation": "Train_simulation.json",
"visBVisualisation": "train.json", "visBVisualisation": "train.json",
"historyChartItems": [] "historyChartItems": []
} }
...@@ -79,9 +79,9 @@ ...@@ -79,9 +79,9 @@
"metadata": { "metadata": {
"fileType": "Project", "fileType": "Project",
"formatVersion": 20, "formatVersion": 20,
"savedAt": "2022-02-03T11:33:15.308065Z", "savedAt": "2022-02-03T12:50:05.785463Z",
"creator": "User", "creator": "User",
"proB2KernelVersion": "3.15.0", "proB2KernelVersion": "4.0.0-SNAPSHOT",
"proBCliVersion": null, "proBCliVersion": null,
"modelName": null "modelName": null
} }
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment