Rationale
There is a limited availability of programs to simulate and perform qualitative analysis of biological systems, but among them, Cell Net Analyzer(3) is one of the most versatile. At the MUVAL(2) site is available a web service to transform a file accomplishing with the Cell Net Analyzer format in another which allow to deal with an extended multi-valued logic approach based on graded inhibitions(4).
In addition, Boolean and multi-valued logic models both can benefit by further complementary studies which are offered by other free programs, such as Cytoscape(5), BINOM(6), Diva(7), MFINDER(8). However, a drawback arises from the fact that these programs use a format different from that the used in Cell Net Analyzer.