Lucidi
Programma
Reti di Petri
Esercizi
Reti di Petri Colorate e CPN Tools
Statecharts
Automi temporizzati
Automi temporizzati comunicanti
Logiche modali e temporali
Model checking
UPPAAL
Modelli e verifica di sistemi biologici. Calculus of Looping Sequences (CLS)
Sistemi di Lindenmayer
Brane Calculi e traduzione in CLS
Stochastic CLS (SCLS). Un simulatore per SCLS
Altre varianti di CLS
P systems
P systems, Timed P systems e Timed P automata