Petri Net to Automaton Converter (GAP)
Podrás descargarlo en 5 segundos.
También puede hacer clic en el siguiente enlace de descarga externa para iniciar la descarga:
http://pn2a.svn.sourceforge.net/
acerca de Petri Net to Automaton Converter (GAP)
Paquete GAP pequeño para convertir redes Petri en autómatas de estado finito y semigrupos de transformación.
Programas relacionados
-
Teachers Helper Gratis
Teachers Helper ayudará a cualquier maestro a planificar, rastrear, administrar proyectos, estudiantes, tareas y tareas en clase para cualquier asignatura.
-
ICE Cafe Gratis
ICE Cafe es Open sourse secuencia cromatgram alginer y visor. El primer propósito de este sofware es encontrar una edición de ARN comparando la secuencia genómica con la secuencia de ARN, o utilizando el método ICE desarrolla
-
TesT & RedactoR 7 Prueba gratuita
Programa para crear y aprobar pruebas / exámenes / cuestionarios. Consta de dos aplicaciones: TesT - programm para pruebas ( freeware ) RedactoR - programm para la creación y edición de pruebas ( shareware con período de prue
-
YAUCP, Yet Another uController Project Gratis
yaucp, Otro proyecto uController. Es un conjunto de herramientas y fuente de código e información para el desarrollo para las familias AVR de microcontroladores bajo Linux utilizando sólo herramientas compatibles con la GPL,
-
Inwicast Mediacenter Gratis
Inwicast Mediacenter añade capacidades multimedia a Claroline y Moodle para que los profesores puedan publicar, administrar y compartir fácilmente podcasts de audio y vídeo en varios formatos. Inwicast Mediacenter también pue
-
EQUIL Gratis
EQUIL (Electronic Queuing of Users In Labs) es un sistema diseñado para hacer más eficiente, ordenado y democrático el trabajo de gestión de estudiantes en sesiones de laboratorio.
-
PhyloView Gratis
Phyloview es un script CGI basado en perl para visualizar las propiedades taxonómicas de los árboles filogenéticos proteicos.
-
BioImageXD Gratis
BioImageXD - software gratuito de código abierto para análisis, procesamiento y renderizado 3D de datos multidimensionales, multidimensionales, series temporales de imágenes de microscopía y otras fuentes.
-
Gastropod IR RT operator Gratis
Gasterópodo es una biblioteca Fortran 90 de rutinas de avance y gradiente para cálculos de transferencia radiativa rápida para sondas de satélite infrarrojas de alta resolución espectral.
-
AutoShim Gratis
Herramientas para construir modelos de predicción de actividad de acoplamiento molecular mediante regresión PLS con entrenamiento iterativo y selección de poses. Los descriptores incluyen (i) puntuaciones de acoplamiento, (ii