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