software de diagramacion logica

Estoy buscando un software para un cliente que les permita graficar árboles lógicos grandes y complejos.

Tendría que poder tenerlo para que pueda especificar algunas variables booleanas y numéricas, y luego en el diagrama, para ir de un nodo al siguiente, las condiciones tendrían que especificarse y cumplirse, o más bien viajaría. el camino de las condiciones que se cumplen.

Otra gran característica sería que puede especificar valores para todas las variables y ver cómo se ejecuta el diagrama.

Finalmente, si el diagrama pudiera optimizarse lógicamente, sería aún mejor.

¿Estás buscando herramientas de Petri Net?
a) ¿Debe haber una solución disponible para Windows y OS X? ¿O uno de ellos es suficiente? b) ¿Tiene que ser una aplicación web, o puede ser una aplicación web y/o un cliente local, o se requiere que sean ambos?

Respuestas (2)

Siempre que la entrada se pueda aceptar en un archivo de texto, entonces Graphviz parece ajustarse a sus necesidades tal como está escrito, y hay un MSI de Windows para la versión estable actual, y puede descargar archivos .pkg o brew install graphvizen Mac OSX.

Puntos clave:

  • El diseño de los gráficos está lógicamente optimizado.

  • Sin GUI, la interfaz es un procesamiento de línea de comandos de archivos de datos. Esto puede o no ser un problema, no lo dice en la pregunta.

  • No puede "ver cómo se ejecuta el diagrama", pero ha especificado que es bueno tenerlo.

Para este tipo de problemas recomiendo yEd . Utiliza graphml como formato de almacenamiento, se ejecuta en la mayoría de las plataformas, hace un buen trabajo al optimizar el diseño y funciona para gráficos extremadamente grandes.

Video de Youtube yEd Graph Editor en 90 segundos .