Fundamentos
Existe una oferta limitada de programas para simular modelos en forma cualitativa. De entre ellos, Cell Net Analyzer(3) es uno de lo más versátiles. En el sitio MUVAL(2) se encuentra disponible un servicio web que permite transformar un archivo de Cell Net Analyzer en otro que utilizando el mismo software, permite aplicar lógica multi-valuada extendida con inhibiciones escalonadas(4).
Los análisis de lógica Booleana y/o de lógica multi-valuada pueden también beneficiarse de ciertos estudios complementarios que ofrecen otros programas, tal el caso de Cytoscape(5), BINOM(6), Diva(7), MFINDER(8). Sin embargo, un inconveniente práctico es que estos programas utilizan un formato de archivo cuya sintaxis difiere de la utilizada por Cell Net Analyzer.