Enviar software
  1. Casa
  2. Windows
  3. Otro
  4. PetriKit: Petri Net Analysis Toolkit
  5. Download

PetriKit: Petri Net Analysis Toolkit 1.0

Licencia: Gratis ‎Tamaño del archivo: N/A
‎Calificación de usuarios: 4.0/5 - ‎1 ‎Votos

acerca de PetriKit: Petri Net Analysis Toolkit

PetriKit es un kit de herramientas modular para el análisis de Petri Net. Permite la extracción de propiedades básicas, extracción de invariantes y generación de gráficos de accesibilidad. Los resultados se pueden formatear en archivos de texto sin formato, HTML o XML.

Programas relacionados

  • Vocatra Gratis

    Vocatra es un entrenador de vocabulario basado en consolas. Toma uno o más archivos de vocabulario, le consulta para cada palabra y le permite tratar de dar la respuesta correcta.

  • While Interpreter Gratis

    WhileInterpreter es un intérprete para el lenguaje de programación WHILE utilizado con fines de aprendizaje. Tiene pocas construcciones y fácil semántica.

  • RubyMoss Gratis

    RubyMoss es un marco web basado en web escrito con Ruby on Rails, destinado a apoyar todo el análisis y procesamiento de datos para la espectroscopia de Mossbauer. Escrito bajo licencia BSD.

  • Peter Pig s Money Counter Prueba gratuita

    Con la ayuda del sabio Peter Pig, los niños practican la clasificación y el conteo de monedas para ganar dinero para sus "bancos", mientras aprenden hechos divertidos sobre la moneda estadounidense. Aprenden a reconocer y ord

  • Nfrequencies Gratis

    Realice análisis multivariados basados en frecuencias de di-nucleótidos a partir de datos de secuencia de ADN.

  • NetBuilder' - Apostrophe Gratis

    NetBuilder' es una herramienta para construir, visualizar y simular redes biológicas de varias capas, estructuradas como petri-nets jerárquicas. Tiene un simulador estocástico incorporado, pero también proporciona un fácil ac

  • DFWiki Gratis

    DFWiki es un módulo wiki diseñado para trabajar dentro del entorno moodle LMS. Ha sido diseñado para tomar advantadge de características wiki para el aprendizaje electrónico, como creación de contenido, y proyectos de trabajo

  • lib3d_mec_GiNaC Gratis

    lib_3d_mec_ginac es una biblioteca para la dinámica simbólica del sistema multicuerpo. Se puede utilizar de forma independiente, aunque será el sustituto del núcleo de la versión futura 3.0 de 3d_mec (http://www.imac.unavarra

  • JCadServices Gratis

    Equipo de presentación conjunta que desarrolla una interfaz CORBA que permite a los sistemas CAD mecánicos intercambiar geometría y topología.

  • GEGIS Gratis

    Cree WebGIS basado en Google Earth. ¡Solo 7 pasos para componer una aplicación web WebGIS!