Screenshot of the CellNetAnalyzer model for T-cell activation. Each arrow finishing on a species box represents a hyperarc and all the hyperarcs pointing into a species box are OR connected. In the shown "early-event" scenario, the feedbacks were switched off whereas all input arcs are active. The resulting logical steady state was then computed. Text boxes display the signal flows along the hyperarcs (green boxes: fixed values prior computation; blue boxes: hyperarcs activating a species (signal flow is 1); red boxes: hyperarcs which are not active (signal flow is 0)).