https://123dok.net/document/y6e59lnz-asynchronous-simulation-of-boolean-networks-by-monotone-boolean-networks.html