Speaker: Gabriel Valenzuela

Audience level: 3

This talk presents the engineering design and implementation journey of PetriNet Studio, a SaaS-based Petri Net simulator developed as part of my master’s thesis in Software Engineering. More than just a simulation tool, the project explores how modern C++ can be leveraged to architect a modular, extensible, and high-performance backend for a formal systems modeling platform