Update Dandelion simulation doc (#1034)

doc/dandelion/simulation.md

@@ -6,16 +6,17 @@ In this scenario, we simulate a successfull aggregation but a failed transaction
 
 This document also helps visualizing all the timers in a simple way.
 
-## Initial Situation
-
-![Initial situation](images/ti.png)
-
-## T = 0
-
-A sends grins to B. B adds the transaction to its stempool and starts its patience timer.
+## T = 0 - Initial Situation
 
 ![t = 0](images/t0.png)
 
+## T = 5
+
+A sends grins to B. 
+B flips a coin and decides to add it to its stempool and starts the embargo timer for this transaction.
+
+![t = 5](images/t5.png)
+
 ## T = 10
 
 B waits until he runs out of patience.
@@ -24,70 +25,64 @@ B waits until he runs out of patience.
 
 ## T = 30
 
-B runs out of patience, flips a coin, broadcasts the transaction to its stem relay and starts the embargo timer for this transaction.
+B runs out of patience and broadcasts the aggregated stem transaction to its Dandelion relay H.
+H receives the stem transaction, flips a coin and decides to add it to its stempool and starts the embargo timer for this transaction.
 
 ![t = 30](images/t30.png)
 
-## T = 35
-
-B and H wait.
-
-![t = 35](images/t35.png)
-
 ## T = 40
 
 G sends grins to E.
-E adds the transaction to its stempool and starts its patience timer.
+E flips a coin and decides to add it to its stempool and starts the embargo timer for this transaction.
+B and H wait.
 
 ![t = 40](images/t40.png)
 
-## T = 50
-
-B, H and E wait.
-
-![t = 50](images/t50.png)
-
 ## T = 55
 
 B spends B1 to D.
-D adds the transaction to its stempool and starts its patience timer.
+D flips a coin and decides to add it to its stempool and starts the embargo timer for this transaction.
+H runs out of patience broadcasts the aggregated stem transaction to its Dandelion relay E.
+E receives the stem transaction, flips a coin and decides to add it to its stempool and starts the embargo timer for this transaction.
 
 ![t = 55](images/t55.png)
 
-## T = 60
-
-H runs out of patience, flips a coin, broadcasts the transaction to its stem relay and starts the embargo timer for this transaction.
-
-![t = 60](images/t60.png)
-
 ## T = 65
 
-Waiting.
+Nodes are waiting.
 
 ![t = 65](images/t65.png)
 
 ## T = 70
 
-E runs out of patience, flips a coin, broadcasts the aggregated transaction to its stem relay and starts the embargo timer for this transaction.
+E runs out of patience broadcasts the aggregated stem transaction to its Dandelion relay F.
+F receives the stem transaction, flips a coin and decides to add it to its stempool and starts the embargo timer for this transaction.
 
 ![t = 70](images/t70.png)
 
-## T = 75
+## T = 80
 
-Waiting.
+D runs out of patience, broadcasts the aggregated stem transaction to its Dandelion relay.
+E receives the stem transaction, flips a coin and decides to add it to its stempool and starts the embargo timer for this transaction. aggregates them (thus removing duplicate input/output pair B1) and starts its patience timer.
 
-![t = 75](images/t75.png)
+![t = 80](images/t80.png)
 
 ## T = 85
 
-D runs out of patience, flips a coin, broadcasts the aggregated transaction to its stem relay and starts the embargo timer for this transaction.
-E receives the stem transaction, aggregates them (thus removing duplicate input/output pair B1) and starts its patience timer.
+Nodes are waiting.
 
 ![t = 85](images/t85.png)
 
-## T = 100
+## T = 95 - Step 1
 
-F runs out of patience, flips a coin, broadcasts the aggregated transaction to all its peers (fluff in the mempool).
+F runs out of patience, broadcasts the aggregated stem transaction to its Dandelion relay H.
+H receives the transaction, flips a coin and decide to broadcast the transaction to all its peers (fluff in the mempool).
+
+![t = 95_1](images/t95_1.png)
+
+## T = 95 - Step 2
+
+All the nodes add this transaction to their mempool and remove the related transactions from their stempool.
 E receives the transaction in its mempool and reverts the state of its stempool to avoid conflicting transactions.
 
-![t = 100](images/t100.png)
+![t = 95_2](images/t95_2.png)