Taming Asynchrony for Attractor Detection in Large Boolean Networks (Technical Report)

Andrzej Mizera, Jun Pang, Hongyang Qu +1

Boolean networks is a well-established formalism for modelling biological systems. A vital challenge for analysing a Boolean network is to identify all the attractors. This becomes…