Before revision:  These updates are : i) the possibility to work on asynchronous Boolean networks, ii) a smarter search for therapeutic targets , and iii) the possibility to use multivalued logic. kali assumes that the attractors of a dynamical system correspond to the phenotypes of the modeled biological system.
After revision:  These updates are : i) the possibility to work on asynchronous Boolean networks, ii) a smarter search for therapeutic targets , and iii) the possibility to use multivalued logic. kali assumes that the attractors of a dynamical system , such as a Boolean network, are associated with the phenotypes of the modeled biological system.