Deve ter Software Para Filippo Schiavio

SpanTools é uma aplicação de código aberto que pode verificar e definir os sistemas, que são expressos como redes de itens com transições e estados.. SpanTools é capaz de avaliar Cospan (monoidal Gráfico) expressões, bem como para calcular o gráfico...