SEPIA Un marco de Java que implementa Petri Nets
Descargar ahora

SEPIA Clasificación y resumen

SEPIA Etiquetas

flujo de trabajo implementar Implementar Petri Net Implementación de red de Petri gráfica bipartita Petri Net

SEPIA Descripción

Sepia es un marco de Java que puede implementar diferentes tipos de redes de Petri, que son lenguajes de modelado matemáticos que describen los sistemas distribuidos. Sepia proporciona soporte para gráficos bipartitos dirigidos, define redes de flujo de trabajo de colores y crea llamadas IF-NET, para permitir al usuario asignar niveles de seguridad a las transiciones y otros elementos que forman parte del proceso de ejecución.

SEPIA Software relacionado