diff --git a/Train_B_Book/Train_simulation.json b/Train_B_Book/Train_simulation.json
new file mode 100644
index 0000000000000000000000000000000000000000..e1b47909c3871e52efd7019d9e99b095a0d4d1cc
--- /dev/null
+++ b/Train_B_Book/Train_simulation.json
@@ -0,0 +1,90 @@
+{
+    "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"]
+        }
+    ]
+}
diff --git a/Train_B_Book/train_1_beebook.prob2project b/Train_B_Book/train_1_beebook.prob2project
index b14f3a20fe44e86d489e3a13cd70de456646fd79..6c9340f6d4dba56599a30445b7d9eba82ee9a841 100644
--- a/Train_B_Book/train_1_beebook.prob2project
+++ b/Train_B_Book/train_1_beebook.prob2project
@@ -34,7 +34,7 @@
       "testCases": [],
       "traces": [],
       "modelcheckingItems": [],
-      "simulation": null,
+      "simulation": "Train_simulation.json",
       "visBVisualisation": "train.json",
       "historyChartItems": []
     },
@@ -70,7 +70,7 @@
       "testCases": [],
       "traces": [],
       "modelcheckingItems": [],
-      "simulation": null,
+      "simulation": "Train_simulation.json",
       "visBVisualisation": "train.json",
       "historyChartItems": []
     }
@@ -79,9 +79,9 @@
   "metadata": {
     "fileType": "Project",
     "formatVersion": 20,
-    "savedAt": "2022-02-03T11:33:15.308065Z",
+    "savedAt": "2022-02-03T12:50:05.785463Z",
     "creator": "User",
-    "proB2KernelVersion": "3.15.0",
+    "proB2KernelVersion": "4.0.0-SNAPSHOT",
     "proBCliVersion": null,
     "modelName": null
   }