Resumen de Un nuevo enfoque para la especificación y modelación de sistemas distribuidos
Se presenta un método de especificación y modelación de sistemas distribuidos formados por un conjunto de procesos secuenciales asíncronos comunicándose entre sí. El método se basa en la definición de un conjunto de primitivos de modelación definidos como redes de Petri.
La especificación del sistema distribuido se realiza considerando el comportamiento de entrada-salida de cada primitivo como una sucesión de activaciones de sus arcos de entrada-salida. En función de esta especificación se definen operaciones de composición de primitivos así como la definición de comportamientos equivalentes. El análisis de las secuencias de activaciones permite estudiar el modelo así como simular su comportamiento mediante la especificación de tipo de arco entrada-salida.
