PetriNet Studio: plataforma SaaS para simulación, análisis y generación automática de código concurrente a partir de redes de Petri

Abstract

Se presenta PetriNetStudio, una plataforma SaaS basada en microservicios para modelado, simulación y análisis de Redes de Petri (RdP) y Redes de Petri No Autónomas (NAPN), con generación automática de código concurrente (monitores e hilos) para modelos S3PR. El trabajo integra formalismos verificados con arquitecturas modernas de software, en el marco de un programa de investigación del Laboratorio de Arquitectura de Computadoras (LAC) de la UNC y la Facultad de Informática de la UNLP. La plataforma elimina las barreras de instalación propias de las herramientas de escritorio existentes, integrando nativamente editor gráfico, simulación interactiva, análisis estructural y generación de código en un único entorno web accesible.