Fully-asynchronous dynamics of the example BN for P1 | Download ...