Contributors

Enrico Vicario

Scientific supervisor

Giacomo Bucci

Scientific supervisor

Marco Paolieri

Nondeterministic analysis, transient and regenerative stochastic analysis

Jacopo Torrini

Graphical Petri net editor and application framework

Laura Carnevali

Preemptive and stochastic analysis

Marco Biagi

Graphical Petri net editor, uniformization, steady-state analysis

Other contributors: Johnny Giuntini, Dario D'Amico, Samuele Foni, Tommaso Papini, Lorenzo Pardini, Lorenzo Ridi, Stefano Martina, Alessandro Santoni, Francesco Santoni, Tommaso Scarlatti.