Fig. 6

A SBGN-PD map modeled by an asynchronous automata network under the stories semantics. Top: the SBGN-PD map from Fig. 3. We chose a final set of two stories \(\mathfrak s\) and \(\mathfrak t\), whose EPNs are colored in yellow or blue, respectively. Bottom: The corresponding asynchronous automata network using the stories semantics with the stories \(\mathfrak {s}=\{a,aP,c\}\) and \(\mathfrak t=\{adp,atp\}\). Each of the constants a,c,a d p and atp denotes the EPN whose label equals that constant. Constant aP denotes the phosphorylated macromolecule labeled “a”. The global initial state \(\left <\mathfrak {s}_{a},\mathfrak {t}_{atp},b_{1},m_{1},p_{0},q_{0}\right >\) is represented in blue. Note that here, p # q. Therefore q ₀∈l _p and p ₀∈l _q