SpanTools

GPL v3    
  UNRATED

description

download

specs

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
SpanTools - Mutual Exclusion C/E Petri Net simulationSpanTools - Mutual Exclusion C/E Petri Net simulation

0 User reviews so far.

SUBMIT
A cross-platform Cospan expression evaluator

  124 downloads

#expression evaluator #Monoidal Graph #network transitions #expression #evaluator #Cospan #calculator