Abstract:
La tesi affronta l'argomento delle Reti di Petri e il loro utilizzo nella moderazione dei flussi di lavoro. Per prima cosa viene fornita una descrizione dello strumento per poi esaminare le sue modalità di funzionamento. Successivamente ne verranno descritte le proprietà comportamentali è verrà data una descrizione di alcune modellistiche fondamentali in modo da chiarire il loro funzionamento. Verranno poi esaminate alcune estensione delle Reti di Petri, in particolare quella del colore, del tempo e della gerarchia. Questo per far si che sia ancora più chiaro il loro potenziale espressivo e per poter apprezzare la loro applicazione in tema di rappresentazione dei processi. Infine verrà analizzata un particolare tipologia di Reti di Petri, le Reti di Flusso di lavoro. Queste verranno usate per l'analisi e la moderazione dei flussi di lavoro.
