ASP-based method for the enumeration of attractors in non-deterministic synchronous and asynchronous multi-valued networks
This paper addresses the problem of finding attractors in biological regulatory networks. We focus here on non-deterministic synchronous and asynchronous multi-valued networks, modeled using automata networks ...