Fig. 4From: ASP-based method for the enumeration of attractors in non-deterministic synchronous and asynchronous multi-valued networksSimple example featuring a “star attractor”, that is, an attractor that cannot be traveled without visiting at least twice one of its statesBack to article page