TAPAAL

TAPAAL è uno strumento software educativo per la modellazione, la simulazione e la verifica delle reti Timed-Arc Petri. Esso è destinato agli utenti che hanno bisogno di rappresentare sistemi con comportamento correlato ai tempi in un modello formale. Il software è stato sviluppato presso il Dipartimento di Informatica presso l'Università di Aalborg in Danimarca.

Le sue funzioni di modellazione forniscono un modo per descrivere le reti Timed-Arc Petri in una forma strutturata. La simulazione supporta l'esame di come un modello si comporta nel tempo. La verifica viene utilizzata per valutare le proprietà formali del modello. Insieme, queste capacità rendono TAPAAL rilevante per l'istruzione che coinvolge la modellazione formale e l'analisi.

TAPAAL è elencato per Linux ed è disponibile sotto una licenza gratuita. Gli utenti Linux possono quindi utilizzarlo senza una licenza a pagamento per il software. Il posizionamento della categoria è Educazione perché il programma si concentra sull'apprendimento e sul lavoro con un metodo formale di modellazione informatica.

MirrorNest non ospita una copia a specchio di TAPAAL. Invece, si collega direttamente al rilascio ufficiale. Questa disposizione dà agli utenti Linux una voce di catalogo che punta alla distribuzione originale mantenendo la piattaforma del software e le informazioni di licenza chiare.