ETD

• bpmn
• converter
• convertitore
• framework
• Petri net
• Petri nets
• programma
• rete di Petri
• reti di Petri
• sito web
• traduttore
• translator

Questa tesi presenta lo sviluppo di un framework, implementato in JavaScript, finalizzato alla conversione automatica dei diagrammi BPMN in reti di Petri. L'obiettivo principale è garantire una traduzione che preservi la semantica del processo originale, assicurando al contempo la correttezza sia strutturale che comportamentale. Il framework proposto è accessibile attraverso un’interfaccia web intuitiva, che consente agli utenti di caricare diagrammi BPMN e di ottenere, in tempo reale, la corrispondente rete di Petri.

This thesis presents the development of a framework, implemented in JavaScript, aimed at the automatic conversion of BPMN diagrams into Petri nets. The main objective is to ensure a translation that preserves the semantics of the original process while maintaining both structural and behavioral correctness. The proposed framework is accessible through an intuitive web interface, allowing users to upload BPMN diagrams and obtain the corresponding Petri net in real time.