Asynchronous simulation of Boolean networks by monotone Boolean networks

Tarek Melliti, Damien Regnault, Adrien Richard +1

We prove that the fully asynchronous dynamics of a Boolean network $f:\{0,1{\}}^n\to \{0,1{\}}^n$ without negative loop can be simulated, in a very specific way, by a monotone Boolean n…