SPI1 and infection: Boolean modeling of the cross-talk network and subsequent simulation could reproduce the experimentally observed sequential activation of SPI-1, SPI-2 and T6SS, indicating that, the model could efficiently capture the underlying regulatory mechanism driving the progression of infection in vivo.