Plataforma Petri Net Editor La plataforma Petri Net Editor de la plataforma es una herramienta para crear y analizar las redes de Petri.
Descargar ahora

Plataforma Petri Net Editor Clasificación y resumen

Plataforma Petri Net Editor Etiquetas

editor RED Red de Petri editor neto Petri

Plataforma Petri Net Editor Descripción

La plataforma independiente Petri Net Editor es una herramienta para crear y analizar las redes de Petri. El proyecto de editor de red de Petri Net de plataforma (tubería) crea y analiza las redes de Petri de forma rápida, eficiente y efectivamente. Una característica de diseño clave es el enfoque modular adoptado para su análisis, lo que permite que se escriban nuevos módulos de manera fácil y poderosa, utilizando métodos de capa de datos incorporados para cálculos estándar. Se proporcionan seis módulos de análisis, incluido el análisis invariante, el análisis del espacio estatal (punto muerto, etc.), y el análisis de simulación y la clasificación. Pipe se adhiere al estándar XML PETRI NET (PNML). El formato de archivo para guardar y cargar las redes de Petri es extensible a través del uso de XSLT, el PNML predeterminado.

Plataforma Petri Net Editor Software relacionado