SpanTools 1.0
SpanTools είναι μια εφαρμογή ανοικτού κώδικα που μπορεί να ελέγξει και να καθορίσει τα συστήματα, τα οποία εκφράζονται ως δίκτυα των στοιχείων με τις μεταβάσεις και τα κράτη.. SpanTools είναι σε θέση να αξιολογήσει COSPAN (Monoidal Γράφημα) εκφράσεις,...