Fig. 8From: Reducing Boolean networks with backward equivalenceGraphical representation of the T-LGL BN using GINsim. Background colors denote blocks of both the maximal and IS BBE, which coincide (white background denotes singleton blocks)Back to article page