SpanTools 1.0 SpanTools遷移と状態を持つアイテムのネットワークとして表現されているシステムを、チェックして定義することができ、オープンソースのアプリケーションです。SpanTools COSPAN（Monoidalグラフ）式を評価するだけでなく、表現のmonoidalグラフを計算することができる。 の要件の：ます。 は、Java 2 Standard... 20 Feb 15 Linux 続きを読む
