Petri Net to Automaton Converter (GAP)
Poderá descarregar em 5 segundos.
Também pode clicar no seguinte Link de descarregamento externo para começar a descarregar:
http://pn2a.svn.sourceforge.net/
Sobre Petri Net to Automaton Converter (GAP)
Pequeno pacote GAP para converter redes Petri em autómatos estatais finitos e semigrupos de transformação.
Programas Relacionados
-
Teachers Helper Grátis
O Ajudante de Professores ajudará qualquer plano de professores, rastrear, gerir projetos, alunos, trabalhos de casa e trabalhos de aulas para qualquer disciplina.
-
ICE Cafe Grátis
ICE Cafe é abrangência de cromatgrama e espectador. O primeiro objetivo deste sofware é encontrar uma Edição de ARN comparando a sequência genómica com a sequência de ARN, ou usando o método ICE desenvolvido na Suzuki Lab,Dep
-
TesT & RedactoR 7 Julgamento Gratuito
Programação para a criação e aprovação de testes/ exames/quizzes. Consiste em duas aplicações: TesT - programa para testes (freeware ) Redator - programa para a criação e edição de testes (shareware com período experimental )
-
YAUCP, Yet Another uController Project Grátis
yaucp, mais um projeto uController. É um conjunto de ferramentas e fonte de código e informação para o desenvolvimento para as famílias AVR de microcontroladores sob o Linux usando apenas ferramentas compatíveis com GPL, libe
-
Inwicast Mediacenter Grátis
O Inwicast Mediacenter adiciona capacidades multimédia à Claroline e à Moodle para que os professores possam facilmente publicar, gerir e partilhar podcasts de áudio e vídeo em vários formatos. O Inwicast Mediacenter também p
-
EQUIL Grátis
A EQUIL (Fila Eletrónica de Utilizadores em Laboratório) é um sistema projetado para tornar o trabalho de gestão de estudantes em sessões laboratoriais mais eficiente, ordenado e democrático.
-
PhyloView Grátis
Phyloview é um script CGI baseado em perl para visualizar propriedades taxonómicas de árvores filogenéticas proteicas.
-
BioImageXD Grátis
BioImageXD - software de código aberto gratuito para análise, processamento e renderização 3D de multidimensionais, multicanal, dados de imagem de séries de tempo a partir de microscopia e outras fontes.
-
Gastropod IR RT operator Grátis
Gastrópodes é uma biblioteca fortran 90 de rotinas avançadas e gradientes para cálculos de transferência radiativa rápida para radiadores de satélite de alta resolução espectral.
-
AutoShim Grátis
Ferramentas para construir modelos de previsão de atividade de acoplamento molecular por regressão pls com treino iterativo e seleção de pose. Os descritores incluem (i) pontuação de ancoragem, (ii) características da farmaco