SpanTools

  124 downloads
GPL v3    
  UNRATED
A cross-platform Cospan expression evaluator

description

download

specifications

SpanTools is an open source application that can check and define systems, which are expressed as networks of items with transitions and states.

SpanTools is able to evaluate Cospan (Monoidal Graph) expressions, as well as to calculate the monoidal graph of an expression.
read more   
Last updated on September 28th, 2012
2  
SpanTools - Mutual Exclusion C/E Petri Net simulationSpanTools - Mutual Exclusion C/E Petri Net simulation

0 User reviews so far.

SUBMIT