SpanTools下载地址

计算monoidal图表和生成图表

SpanTools专门开发的，用于管理访问的应用程序提供的功能，可以帮助您定义和检查系统。

的SpanTools可以计算表达式Cospan（Monoidal图），，并计算monoidal图给定的表达。

该软件是用Java开发的神器出山:www.shenqi73.com，可以运行在多种平台上。

下面是一些主要特点“SpanTools”：

·的计算的monoidal图给定的表达式的跨度（图）。
从表达式计算生成一个随机的路径（例如执行）查找元素的限制，monoidal图
·的代表图和monoidal图图的生成

要求：

·的Java
· GraphViz的