Screenshot of the toy model exported to CellNetAnalyzer. Both the textual description (see Table 1) and the map of the toy model of Figure 2 were exported and loaded into CNA. Note that the position of the text boxes (x, y) were automatically generated by ProMoT. The figure shows an analysis where the receptor R1 was activated, R2 was not, and the element with a time scale 2  where considered to be inactive. Small text boxes display the signal flows along the hyperarcs (green boxes: fixed values prior to computation; blue boxes: hyperarcs activating a species (signal flow is 1); red boxes: hyperarcs which are not active (signal flow is 0)).