Fig. 4: One of the possible executions using the Most Permissive semantics on the BN in Fig. 2(b). | Nature Communications