Cesco, Arnaldo (2021) Decidability Of Strong Equivalences For Finite Petri Nets. [Laurea magistrale], Università di Bologna, Corso di Studio in Informatica [LM-DM270]